Asynchrony and the π-calculus (1992)

by G Boudol