A Theory of Duration Calculus with Application

DOI10.1007/978-3-540-74964-6_3MaRDI QIDQ3525019zbMATH OpenOpenAlexFDO

Authors Michael R. Hansen, Dang Van Hung

Publication date 16 September 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-74964-6_3

zbMATH Keywords

applicationdecidabilityduration calculusmetric-time temporal logicmodel-checkingreal-time systems

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Duration calculus: Logical foundations
• A calculus of durations
• scientific article; zbMATH DE number 1543326
• Duration calculus. A formal approach to real-time systems.
• scientific article; zbMATH DE number 512815

Cited in

(2)

• Hybrid metric propositional neighborhood logics with interval length binders
• STUDY ON LONGER AND SHORTER BOUNDARY DURATION VECTORS WITH ARBITRARY DURATION AND COST VALUES

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: A Theory of Duration Calculus with Application

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