Partial Order Semantics of Box Expressions

Maciej Koutny. Partial Order Semantics of Box Expressions. In Robert Valette, editor, Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings. Volume 815 of Lecture Notes in Computer Science, pages 318-337, Springer, 1994.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.