An Evaluation of the LCF Theorem Prover using LOTOS
Authors:
Rob Booth
Affiliations:
-
Venue:
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols