- Record: found
- Abstract: not found
- Book Chapter: not found
ZUM '97: The Z Formal Specification Notation
An approach to the design of distributed systems with B AMN
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 references12
- Record: found
- Abstract: not found
- Article: not found
Algebra of communicating processes with abstraction
J.A. Bergstra, J.W. Klop (1985)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Decentralization of process nets with centralized control
R. J. R. Back, R. Kurki-Suonio (1983)