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

by Gérard Boudol
Venue:1702, INRIA, Sophia Antipolis