Lazy functions and mobile processes. Rapport de Recherche 2515 (1995)

by D Sangiorgi