Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa. Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. In Daniel Moldt, Ekkart Kindler, Heiko Rölke, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018. Volume 2138 of CEUR Workshop Proceedings, pages 15-34, CEUR-WS.org, 2018. [doi]
Abstract is missing.