Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS
scientific article; zbMATH DE number 5530604
scientific article