Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS

From MaRDI portal
(Redirected from Publication:1007235)