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.

Authors

Maciej Koutny

This author has not been identified. Look up 'Maciej Koutny' in Google