Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content
#

sapienza-university

Here are 104 public repositories matching this topic...

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…

  • Updated Sep 2, 2019
  • Standard ML

Improve this page

Add a description, image, and links to the sapienza-university topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sapienza-university topic, visit your repo's landing page and select "manage topics."

Learn more