A theory of processes with localities. Formal Aspect of Computing (1992)

by Gérard Boudol, Ilaria Castellani, Matthew Hennesy, Astrid Kiehn