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

Alan Schmitt, Jean-Bernard Stefani

Browse the full POPL paper archive.