GitHub / ComputerScience-Projects / Calculus-of-Communicating-Systems
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 restriction. CCS is useful for evaluating the qualitative correctness of properties of a system such as deadlock or livelock.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ComputerScience-Projects%2FCalculus-of-Communicating-Systems
PURL: pkg:github/ComputerScience-Projects/Calculus-of-Communicating-Systems
Stars: 7
Forks: 1
Open issues: 0
License: mit
Language: Standard ML
Size: 158 KB
Dependencies parsed at: Pending
Created at: about 6 years ago
Updated at: about 1 year ago
Pushed at: almost 6 years ago
Last synced at: 11 months ago
Topics: calculus, ccs, communicating, metalanguage, milner, ocalm, parallel, pietrocenciarelli, robin, robinmilner, sapienza, sapienza-student, sapienza-university, sml, standardml