Show Summary Details

Quick Reference

Abbrev. for calculus of communicating systems. A mathematical treatment of the general theory of concurrency and synchronization derived by R. J. Milner. See also process calculus.

Subjects: Computing.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.