Implementing the π-Calculus in Java

By: Liwu Li


The -calculus was introduced by Milner for modeling the changing connectivity inside mobile communicating systems, in which links between concurrently running processes can be passed from processes to processes and a process can use a received link to communicate with another process. It is similar to the situation that the -calculus is a theoretical model of sequential computation. The -calculus can be used to model modern concurrent systems.

Cite as:

Liwu Li, “Implementing the π-Calculus in Java”, Journal of Object Technology, Volume 4, no. 2 (March 2005), pp. 157-177, doi:10.5381/jot.2005.4.2.a5.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn