On distinguishing between concurrency and nondeterminism (1980)

by U Montanari, C Simonelli
Venue:In Ecole de Printemps on Concurrency and Petri Nets, Colleville