Reasoning about asynchronous communication in dynamically evolving object structures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1466, Issue , 1998, Pages 285-300

  de Boer, F S ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONOUS COMMUNICATION; ASYNCHRONOUS COMMUNICATION MECHANISMS; FIFO BUFFER; HOARE LOGIC; OBJECT STRUCTURE;

ARTIFICIAL INTELLIGENCE;

EID: 84897458754     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0055629     Document Type: Conference Paper

References (4)

1. 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.
2. P. America and F.S. de Boer. Reasoning about dynamically evolving process structures. Formal Aspects of Computing. Vol. 6, № 3, 1994.
3. 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.
4. 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.