An Event Structure Semantics for P/T Contextual Nets: Asymmetric Event Structures.

Paolo Baldan, Andrea Corradini, Ugo Montanari

Browse the full FOSSACS paper archive.