Duration Calculus: Logical Foundations

Publication: Research - peer-reviewJournal article – Annual report year: 1997

View graph of relations

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 languageEnglish
JournalFormal Aspects of Computing
Publication date1997
Volume9
Issue3
Pages283-330
ISSN0934-5043
StatePublished

Conference

ConferenceUnknown
Period01/01/97 → …
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 2704403