Graphical calculi for interaction

  • Robin Milner
Invited Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1256)


  1. 1.
    Milner, R., Parrow, J. and Walker, D., A calculus of mobile processes, Parts I and II. Information and Computation 100 (1992) 1–77.CrossRefGoogle Scholar
  2. 2.
    Milner, R., Calculi for interaction. Acta Informatica 33 (1996) 707–737.CrossRefGoogle Scholar
  3. 3.
    Milner, R., Mifsud, A. and Power, J., Control structures. Proc. IEEE Symposium on Logics in Computation, LICS (1995).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Robin Milner
    • 1
  1. 1.University of CambridgeUK

Personalised recommendations