Distributed systems analysis with CCS
Glenn Bruns · Prentice-Hall, Inc eBooks · 1997
CCS and Software Engineering. Modelling Systems. Reasoning about Systems. Triple-Modular Redundancy. On-the-Fly Garbage Collection. A Shared-Memory Communication Protocol. Modelling Systems at the Design Stage. A More Expressive Notation for Specifications. The Concurrency Workbench. A Language for Value-Passing CCS. Workbench Input Files.