Contextual Petri nets, asymmetric event structures, and processes, (2001)

by P Baldan, A Corradini, U Montanari
Venue:Information and Computation