- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Methods for Open Object-based Distributed Systems: Volume 2
CSP-OZ: A Combination of Object-Z and CSP
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references4
- Record: found
- Abstract: not found
- Article: not found
Object-Z: A specification language advocated for the description of standards
Roger Duke, Gordon Rose, Graeme Smith (1995)
- Record: found
- Abstract: not found
- Article: not found
A state-based approach to communicating processes
Mark B. Josephs (1988)
- Record: found
- Abstract: not found
- Book Chapter: not found
How firing conditions help inheritance
Ben Strulo (1995)