Towards Algebraic Semantics of Circus Time

DOI10.1007/978-3-319-14806-9_5zbMath1457.68071OpenAlexW1420164130MaRDI QIDQ2814616

Kun Wei, J. C. P. Woodcock

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

zbMATH Keywords

timed CSPalgebraic operational semanticsCircus Time

Mathematics Subject Classification ID

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