Invariant Semantics of Nets with Inhibitor Arcs

Ryszard Janicki, Maciej Koutny. Invariant Semantics of Nets with Inhibitor Arcs. In Jos C. M. Baeten, Jan Friso Groote, editors, CONCUR 91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings. Volume 527 of Lecture Notes in Computer Science, pages 317-331, Springer, 1991.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.