Towards an algebra for real-time programs

DOI10.1007/978-3-642-33314-9_4MaRDI QIDQ2915135zbMATH OpenOpenAlexFDO

Authors Brijesh Dongol, Ian Hayes, Kim Solin, Larissa A. Meinicke

Publication date 21 September 2012

Published in Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33314-9_4

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1303727
• scientific article; zbMATH DE number 2087347
• A real-time process algebra with open intervals and maximal progress
• Interval logics and their decision procedures. II: A real-time interval logic
• scientific article; zbMATH DE number 1487632

Cites work

• scientific article; zbMATH DE number 1507210 (Why is no real title available?)
• scientific article; zbMATH DE number 2090029 (Why is no real title available?)
• A timeband framework for modelling real-time systems
• Algebraic neighbourhood logic
• An algebra of hybrid systems
• Axioms for real-time logics
• Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
• Duration calculus. A formal approach to real-time systems.
• Kleene algebra with domain
• Reasoning about goal-directed real-time teleo-reactive programs
• Refinement Calculus

Cited in

(4)

• An $\omega$-algebra for real-time energy problems
• Formal Modeling and Analysis of Timed Systems
• Logic meets algebra: compositional timing analysis for synchronous reactive multithreading
• An algebraic approach for compiling real-time programs

This page was built for publication: Towards an algebra for real-time programs

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