Circus Time with Reactive Designs

DOI10.1007/978-3-642-35705-3_3zbMath1452.68057OpenAlexW22595608MaRDI QIDQ3455644

Kun Wei, Ana Cavalcanti, J. C. P. Woodcock

Publication date: 11 December 2015

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35705-3_3

zbMATH Keywords

UTPCircus Timereactive designs

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (8)

Unifying Theories of Programming in Isabelle ⋮ A Unary Semigroup Trace Algebra ⋮ Towards a UTP Semantics for Modelica ⋮ A Stepwise Approach to Linking Theories ⋮ Unifying theories of time with generalised reactive processes ⋮ Unifying theories of reactive design contracts ⋮ Three Approaches to Timed External Choice in UTP ⋮ Towards Algebraic Semantics of Circus Time

Uses Software

• Z
• Isabelle/Circus
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• A refinement strategy for Circus
• A process algebraic framework for specification and validation of real-time systems
• A UTP semantics for \textsf{Circus}
• The Miracle of Reactive Programming

This page was built for publication: Circus Time with Reactive Designs