An algebraic framework for developing and maintaining real-time systems

DOI10.1007/3-540-60043-4_63zbMath1496.68237OpenAlexW1603439937MaRDI QIDQ5096395

Elizabeth I. Leonard, Amy E. Zwarico

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_63

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algèbre de processus et synchronisation
• Calculi for synchrony and asynchrony
• Extensional equivalences for transition systems
• An efficiency preorder for processes
• Turning SOS rules into equations
• Testing equivalences for processes
• A process algebra for timed systems
• Real time process algebra
• CIRCAL and the representation of communication, concurrency, and time
• A Theory of Communicating Sequential Processes