An Evaluation of the LCF Theorem Prover using LOTOS

Rob Booth. An Evaluation of the LCF Theorem Prover using LOTOS. In Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. pages 83-99, North-Holland, 1989.

Abstract

Abstract is missing.