Towards an Algebra for Real-Time Programs

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

Mathematics Subject Classification ID

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

Related Items (1)

Unnamed Item

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