Robin Milner, Joachim Parrow, David Walker

Information and Computation 100(1), pages 1-40, 1992
@article{picalculus-ic100,
Author = {Milner, Robin and Parrow, Joachim and Walker, David},
Journal = {Information and Computation},
Number = 1,
Pages = {1--40},
Title = {A calculus of mobile processes, I},
Volume = 100,
Year = 1992}

Tags:
    

Publication Data

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