TCOZ
From MaRDI portal
Software:15914
swMATH3382MaRDI QIDQ15914FDOQ15914
Author name not available (Why is that?)
Cited In (7)
- A CSP model of Eiffel's SCOOP
- Cameo: an alternative model of concurrency for Eiffel
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
- Refinement and verification in component-based model-driven design
- Deep semantic links of TCSP and Object-Z: TCOZ approach.
- A formal object approach to the design of ZML
- Type checking \textsf{Circus} specifications
This page was built for software: TCOZ
