A Correctness Proof for Communicating Processes: A Small Exercise

• 1 January 1982
• book chapter
• Published by Springer Nature
• p. 259-263
• https://doi.org/10.1007/978-1-4612-5695-3_47

Abstract

Keywords

• METAPHOR
• MOSQUITOES
• ELEPHANTS
• OLD
• SEQUENTIAL
• HUMMING
• QUOTE
• CORRECTNESS PROOF
• HOARE
• C.A.R