Invariant Semantics of Nets with Inhibitor Arcs.

Ryszard Janicki, Maciej Koutny

Browse the full CONCUR paper archive.