An extension of Kleene's and Ochman´ski's theorems to infinite traces

Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids

Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]

Infinite Series-Parallel Posets: Logic and Languages

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming

Trace Channel Nets

Proceedings of the 20th International Conference on Application and Theory of Petri Nets

Safety and liveness properties for real traces and a direct translation from LTL to monoids

Formal and natural computing