Mahesh Girkar, Robert Moll. Vector Sequence Analysis and Full Weak Safety for Concurrent Systems. In Zoltán Ésik, editor, Fundamentals of Computation Theory, 9th International Symposium, FCT 93, Szeged, Hungary, August 23-27, 1993, Proceedings. Volume 710 of Lecture Notes in Computer Science, pages 256-265, Springer, 1993.
Abstract is missing.