Dominique Bolignano. A partial-order approach to the verification of concurrent systems: checking liveness properties. In Paolo Camurati, Hans Eveking, editors, Correct Hardware Design and Verification Methods, IFIP WG 10.5 Advanced Research Working Conference, CHARME 95, Frankfurt/Main, Germany, October 2-4, 1995, Proceedings. Volume 987 of Lecture Notes in Computer Science, pages 278-292, Springer, 1995.
Abstract is missing.