A theory of processes with localities (0)

by G Boudol, I Castellani, M Hennessy, A Kiehn
Venue:In Proceedings of CONCUR'92, LNCS 630