Towards Algebraic Semantics of Circus Time
From MaRDI portal
Publication:2814616
DOI10.1007/978-3-319-14806-9_5zbMath1457.68071OpenAlexW1420164130MaRDI QIDQ2814616
Publication date: 22 June 2016
Published in: Unifying Theories of Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-14806-9_5
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- From control law diagrams to Ada via \textsf{Circus}
- A refinement strategy for Circus
- A process algebraic framework for specification and validation of real-time systems
- A UTP semantics for \textsf{Circus}
- Modelling temporal behaviour in complex systems with Timebands
- Understanding concurrent systems
- Safety-critical Java programs from \textsf{Circus} models
- Circus Time with Reactive Designs
This page was built for publication: Towards Algebraic Semantics of Circus Time