Asynchrony and the -calculus (note). Rapports de Recherche 1702, INRIA Soa-Antipolis (1992)

by Gérard Boudol
Venue:The Coq Proof Assistant Reference Manual. Projet Coq, INRIA Rocquencourt / CNRS - ENS