S. Meldal;D. C. Luckham;M. A. Haberler
Univ. of Bergen;Stanford Univ., Stanford, CA;Stanford Univ., Stanford, CA
A complete axiomatic semantics of spawning
Distributed Computing