M. W. Shields, Peter E. Lauer. Verifying Concurrent System Specification in COSY. In Piotr Dembinski, editor, Mathematical Foundations of Computer Science 1980 (MFCS 80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980. Volume 88 of Lecture Notes in Computer Science, pages 576-586, Springer, 1980.
Abstract is missing.