Asynchrony and the π-calculus. Rapport de recherche RR-1702 (1992)

by G Boudol
Venue:In 21st Int