Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures

Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called objects) which interact only via an asynchronous communication mechanism based on FIFO buffers.

• Type: Conference
• Year: 1998
• Where: CONCUR
• Authors: Frank S. de Boer
• Keywords: Asynchronous Communication Mechanism, Compositional Hoare Logics, CONCUR 1998, Distributed And Parallel Computing, Fifo Buffers