swMATH3382MaRDI QIDQ15914FDOQ15914
Author name not available (Why is that?)
Official website: http://www.comp.nus.edu.sg/~dongjs/papers/icfem02dlssw.pdf
Cited In (10)
- 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.
- SCOOP
- CSPsim
- PTSC
- A formal object approach to the design of ZML
- Type checking \textsf{Circus} specifications
This page was built for software: TCOZ
