Robin Milner, Joachim Parrow, David Walker

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

Tags:
    

Publication Data

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