Nondeterminism and fully abstract models Egidio Astesiano; Gerardo Costa — 1980 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications