Non interleaving semantics for mobile processes (1995)

by Pierpaolo Degano, Corrado Priami
Venue:In Automata, Languages and Programming, volume 944 of LNCS