A Calculus of Mobile Processes, Part Ii

  title={A Calculus of Mobile Processes, Part Ii},
  author={David Walker},
This is the second of two papers in which we present the -calculus, a calculus of mobile processes. We provide a detailed presentation of some of the theory of the calculus developed to date, and in particular we establish most of the results stated in the companion paper. 
Highly Influential
This paper has highly influenced 48 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 700 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
406 Citations
3 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 406 extracted citations

701 Citations

Citations per Year
Semantic Scholar estimates that this publication has 701 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-3 of 3 references

A calculus of Mobile Processes, Part II, Report ECS-LFCS-89-86

  • R. Milner, J. Parrow, D. J. Walker
  • Laboratory for Foundations of Com- puter Science…
  • 1989
1 Excerpt

Similar Papers

Loading similar papers…