Duration Calculus: Logical Foundations

Michael Reichhardt Hansen; Zhou Chaochen

Duration Calculus: Logical Foundations

Michael Reichhardt Hansen
, Zhou Chaochen

United Nations University

Research output: Contribution to journal › Journal article › Research › peer-review

Abstract

The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.

Original language	English
Journal	Formal Aspects of Computing
Volume	9
Issue number	3
Pages (from-to)	283-330
ISSN	0934-5043
Publication status	Published - 1997

OpenUrl availability

Check availability in DTU Findit

Cite this

@article{cb573e7020564530a7198254031dc021,

title = "Duration Calculus: Logical Foundations",

abstract = "The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.",

author = "Hansen, \{Michael Reichhardt\} and Zhou Chaochen",

year = "1997",

language = "English",

volume = "9",

pages = "283--330",

journal = "Formal Aspects of Computing",

issn = "0934-5043",

publisher = "Association for Computing Machinery",

number = "3",

}

TY - JOUR

T1 - Duration Calculus: Logical Foundations

AU - Hansen, Michael Reichhardt

AU - Chaochen, Zhou

PY - 1997

Y1 - 1997

N2 - The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.

AB - The Duration Calculus (abbreviated DC) represents a logical approach to formal design of real-time systems, where real numbers are used to model time and Boolean valued functions over time are used to model states and events of real-time systems. Since it introduction, DC has been applied to many case studies and it has been extended in several directions. The aim of this paper is to provide a thorough presentation of the logic.

M3 - Journal article

SN - 0934-5043

VL - 9

SP - 283

EP - 330

JO - Formal Aspects of Computing

JF - Formal Aspects of Computing

IS - 3

ER -