The following pages link to Circus Time with Reactive Designs (Q3455644):
Displaying 8 items.
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Three Approaches to Timed External Choice in UTP (Q2814612) (← links)
- Towards Algebraic Semantics of Circus Time (Q2814616) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
