Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic

Jeffrey J. Joyce. Formal Specification and Verification of Asynchronous Processes in Higher-Order Logic. In Charles Rattray, editor, Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK]. Workshops in Computing, pages 384-409, Springer, 1988.

Abstract

Abstract is missing.