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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Abadi and K. R. M. Leino. A logic of object-oriented programs. Proceedings of the 7th International Joint Conference CAAP/FASE, vol. 1214 of Lecture Notes in Computer Science, April 1997.
P. America and F.S. de Boer. Reasoning about dynamically evolving process structures. Formal Aspects of Computing. Vol. 6, No. 3, 1994.
F.S. de Boer. A compositional proof system for dynamic process creation. Proceedings of the sixth annual IEEE symposium on Logics in Computer Science (LICS), IEEE Computer Society Press, Amsterdam, The Netherlands, 1991.
J. Zwiers, W.P. de Roever, P. van Emde Boas: Compositionality and concurrent networks: soundness and completeness of a proof system. In Proceedings of the 12th ICALP, Nafplion, Greece, July 15–19, 1985, Springer LNCS 194, pp. 509–519.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Boer, F.S. (1998). Reasoning about asynchronous communication in dynamically evolving object structures. In: Sangiorgi, D., de Simone, R. (eds) CONCUR'98 Concurrency Theory. CONCUR 1998. Lecture Notes in Computer Science, vol 1466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055629
Download citation
DOI: https://doi.org/10.1007/BFb0055629
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64896-3
Online ISBN: 978-3-540-68455-8
eBook Packages: Springer Book Archive