Using a theorem prover for reasoning about concurrent algorithms

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 56-68
https://doi.org/10.1007/3-540-56496-9_6

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Refinement concepts formalised in higher order logic
Formal Aspects of Computing, 1990
Mechanizing CSP trace theory in higher order logic
IEEE Transactions on Software Engineering, 1990
A formulation of the simple theory of types
The Journal of Symbolic Logic, 1940