The following pages link to TCOZ (Q15914):
Displaying 7 items.
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Deep semantic links of TCSP and Object-Z: TCOZ approach. (Q1601247) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- A formal object approach to the design of ZML (Q1859519) (← links)
- A CSP model of Eiffel's SCOOP (Q2461537) (← links)
- Type Checking Specifications (Q2873610) (← links)
