Formal Methods Wiki
Register
Advertisement
VL2

Virtual Library
Computing
Software engineering
Formal methods
Concurrent systems
CSP

CCS (Calculus of Communicating Systems) is an algebra for specifying and reasoning about concurrent systems, developed by Robin Milner.


See:


Advertisement