Prefix and Projection onto State in Duration Calculus

DOI10.1016/S1571-0661(04)80472-9zbMath1270.68169OpenAlexW2020762354MaRDI QIDQ2842576

Dimitar P. Guelev, Dang Van Hung

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80472-9

Mathematics Subject Classification ID

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

Related Items

Deriving Real-Time Action Systems Controllers from Multiscale System Specifications, An application of temporal projection to interleaving concurrency, RGITL: a temporal logic framework for compositional reasoning about interleaved programs, A temporal logic for micro- and macro-step-based real-time systems: foundations and applications

Cites Work

• Advanced features of duration calculus and their applications in sequential hybrid programs
• A calculus of durations
• Rudiments of \(\mu\)-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item