The following pages link to Circus (Q33628):
Displaying 25 items.
- Viewing CSP specifications with UML-RT diagrams (Q2873608) (← links)
- Type checking \textsf{Circus} specifications (Q2873610) (← links)
- Building a Modal Interface Theory for Concurrency and Data (Q2890318) (← links)
- rCOS: Defining Meanings of Component-Based Software Architectures (Q2948228) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- A Two-Way Path Between Formal and Informal Design of Embedded Systems (Q2971176) (← links)
- A Stepwise Approach to Linking Theories (Q2971179) (← links)
- (Q2989004) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- Automating Refinement of Circus Programs (Q2999326) (← links)
- Behavioural Models for FMI Co-simulations (Q3179405) (← links)
- Unifying Heterogeneous State-Spaces with Lenses (Q3179407) (← links)
- Circus Time with Reactive Designs (Q3455644) (← links)
- Encoding Circus Programs in ProofPowerZ (Q3585033) (← links)
- CSP with Hierarchical State (Q3605464) (← links)
- (Q4472182) (← links)
- (Q4808845) (← links)
- Building Specifications in the Event-B Institution (Q5060190) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- Stateflow Diagrams in (Q5179350) (← links)
- Mechanical Reasoning about Families of UTP Theories (Q5179366) (← links)
- FM 2005: Formal Methods (Q5716879) (← links)
- FM 2005: Formal Methods (Q5716880) (← links)
- Testing using CSP Models: Time, Inputs, and Outputs (Q5886524) (← links)