Pages that link to "Item:Q1601247"
From MaRDI portal
The following pages link to Deep semantic links of TCSP and Object-Z: TCOZ approach. (Q1601247):
Displayed 5 items.
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- A CSP model of Eiffel's SCOOP (Q2461537) (← links)
- Type Checking Specifications (Q2873610) (← links)