Towards an Algebra for Real-Time Programs
From MaRDI portal
Publication:2915135
DOI10.1007/978-3-642-33314-9_4zbMath1364.68135OpenAlexW95492539MaRDI QIDQ2915135
Ian J. Hayes, Kim Solin, Brijesh Dongol, 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
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Reasoning about goal-directed real-time teleo-reactive programs
- Algebraic neighbourhood logic
- A timeband framework for modelling real-time systems
- An algebra of hybrid systems
- Duration calculus. A formal approach to real-time systems.
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
- Refinement Calculus
- Kleene algebra with domain
- Axioms for real-time logics
This page was built for publication: Towards an Algebra for Real-Time Programs