A calculus of mobile processes, II

   page       BibTeX_logo.png   
Robin Milner, Joachim Parrow, David Walker
Information and Computation 100(1), pages 41-77

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.

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY