Volker Diekert;Paul Gastin;Antoine Petit
-;-;-
Trace Channel Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Fair Synthesis for Asynchronous Distributed Systems
ACM Transactions on Computational Logic (TOCL)