A Correctness Proof of the Bakery Protocol in μCRL

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 63-86
https://doi.org/10.1007/978-1-4471-2120-6_3

Abstract

No abstract available

Keywords

This publication has 6 references indexed in Scilit:

A computer-checked verification of Milner's scheduler
Published by Springer Nature ,1994
Verifying Process Algebra Proofs in Type Theory
Published by Springer Nature ,1994
Applications of Process Algebra
Published by Cambridge University Press (CUP) ,1990
Fundamentals of Algebraic Specification 1
Published by Springer Nature ,1985
Ten years of Hoare's logic: A survey— part II: Nondeterminism
Theoretical Computer Science, 1983
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems, 1981