The m-calculus: a higher-order distributed process calculus

Alan Schmitt, Jean-Bernard Stefani. The m-calculus: a higher-order distributed process calculus. In POPL. pages 50-61, 2003. [doi]

No reviews for this publication, yet.