Duration Calculus: Logical Foundations

    Research output: Contribution to journalJournal articleResearchpeer-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 languageEnglish
    JournalFormal Aspects of Computing
    Volume9
    Issue number3
    Pages (from-to)283-330
    ISSN0934-5043
    Publication statusPublished - 1997

    Cite this