Paul Loewenstein, David L. Dill. Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic. In Edmund M. Clarke, Robert P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings. Volume 531 of Lecture Notes in Computer Science, pages 302-311, Springer, 1990.
Abstract is missing.