DMCA

Domain and Event Structure Semantics for Petri Nets with Read and Inhibitor Arcs

by P. Baldan , N. Busi , A. Corradini , G. M. Pinna
Citations:13 - 5 self