Fundamental Results for the Verification of Observational Equivalence: A Survey

Tommaso Bolognesi, Scott A. Smolka. Fundamental Results for the Verification of Observational Equivalence: A Survey. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 165-179, North-Holland, 1987.

Abstract

Abstract is missing.