Axioms for contextual net processes (1998)

by F Gadducci, U Montanari
Venue:In Proc. ICALP’98