Jean-Claude Fernandez, Laurent Mounier. "On the Fly" Verification of Behavioural Equivalences and Preorders. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 181-191, Springer, 1991.
Abstract is missing.