Cited in
(10)- Refinement and verification in component-based model-driven design
- Type checking \textsf{Circus} specifications
- Deep semantic links of TCSP and Object-Z: TCOZ approach.
- A CSP model of Eiffel's SCOOP
- SCOOP
- CSPsim
- PTSC
- Cameo: an alternative model of concurrency for Eiffel
- A formal object approach to the design of ZML
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
This page was built for software: TCOZ
