On distinguishing between , Dept. of concurrency and nondeterminism", Proc. Ecole de Printemps on Concurrency and Petri Nets, Colleville (1980)

by u Montanari, C Simonelli
Venue:Prac. Canf. an Sernantics af Cancurrent CarnputatiGn, Evian, LNCS 70