Duration calculus: A real-time semantic for B.

DOI10.1007/978-3-540-31862-0_31MaRDI QIDQ5709993zbMATH OpenOpenAlexFDO

Authors Samuel Colin, Georges Mariano, Vincent Poirriez

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107116

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Duration calculus: Logical foundations
• Duration calculus. A formal approach to real-time systems.
• Real-time systems development with duration calculi: an overview.
• Advanced features of duration calculus and their applications in sequential hybrid programs
• scientific article; zbMATH DE number 1543326

Cited in

(10)

• A calculus of durations
• Duration calculus: Logical foundations
• Duration calculus. A formal approach to real-time systems.
• Formalising scheduling theories in duration calculus
• Causality problem in real-time calculus
• Towards Modelling Obligations in Event-B
• Linking DC together with TRSL
• Requirements for a temporal B assigning temporal meaning to abstract machines and to abstract systems
• Real-time systems development with duration calculi: an overview.
• Towards a denotational semantics of timed RSL using duration calculus

This page was built for publication: Duration calculus: A real-time semantic for B.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5709993)