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

by R Bruni, U Montanari
Venue:Proceedings of EXPRESS'97. ENTCS 7