Zero-safe nets: Comparing the collective and individual token approaches (0)

by Roberto Bruni, Ugo Montanari
Venue:Information and Computation