Robin Milner, Joachim Parrow, 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.

Information and Computation 100(1), pages 41-77, 1992
Author = {Milner, Robin and Parrow, Joachim and Walker, David},
Doi = {10.1016/0890-5401(92)90009-5},
Issn = {0890-5401},
Journal = {Information and Computation},
Number = 1,
Pages = {41--77},
Title = {A Calculus of Mobile Processes, II},
Url = {},
Volume = 100,
Year = 1992,
Abstract = {Abstract}}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna