Zero-Safe Nets, or Transition Synchronization Made Simple (1997)

by R Bruni, U Montanari
Venue:In Electronic Notes in Theoretical Computer Science: Proceedings of EXPRESS’97, 4th workshop on Expressiveness in Concurrency