Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CONCUR
1998
Springer

favoriteEmaildiscussreport

101views Distributed And Parallel Com...» more CONCUR 1998»

Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures

13 years 9 months ago

Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures

Download basics.sjtu.edu.cn

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.

Frank S. de Boer

Real-time Traffic

Asynchronous Communication Mechanism | Compositional Hoare Logics | CONCUR 1998 | Distributed And Parallel Computing | Fifo Buffers |

claim paper

Related Content

» Reasoning About Synchronic Groups

» Observable Behavior of Dynamic Systems Component Reasoning for Concurrent Objects

» A Concurrent Object Calculus Reduction and Typing

» An Open System Operational Semantics for an ObjectOriented and ComponentBased Language

» Towards Architectural Programming of Embedded Systems

» Functional translation of a calculus of capabilities

» The Klaim Project Theory and Practice

Post Info
More Details (n/a)

Added	05 Aug 2010
Updated	05 Aug 2010
Type	Conference
Year	1998
Where	CONCUR
Authors	Frank S. de Boer

Comments (0)