Change the repository type filter
All
Repositories list
4 repositories
- The Calculus of Communicating Systems (CCS) is a process calculus introduced by Robin Milner around 1980 and the title of a book describing the calculus. Its actions model indivisible communications between exactly two participants. The formal language includes primitives for describing parallel composition, choice between actions and scope rest…
- Docker for University lesson build from us made for MCLAB research group