Deep semantic links of TCSP and Object-Z: TCOZ approach.
From MaRDI portal
Publication:1601247
DOI10.1007/S001650200004zbMath1063.68603OpenAlexW1970959183MaRDI QIDQ1601247
Jin-Song Dong, Brendan P. Mahony
Publication date: 9 September 2002
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650200004
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Cameo: an alternative model of concurrency for Eiffel ⋮ A CSP model of Eiffel's SCOOP ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ Refinement and verification in component-based model-driven design ⋮ Type Checking Specifications
Uses Software
This page was built for publication: Deep semantic links of TCSP and Object-Z: TCOZ approach.
