Asynchrony and the pi-calculus, INRIA (1992)

by G Boudol