A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
Formal Methods for Open Object-Based Distributed Systems
The goal of this paper is to develop a compositional proof system for reasoning about systems consisting of a dynamically evolving collection of objects, which are all executing in parallel, and which know each other by maintaining and passing around references. The proof system formalizes reasoning about these dynamic structures on an abstraction level that is at least as high as that of the programming language. The only operations on 'pointers' (references to objects) are testing fordoi:10.1007/978-0-387-35562-7_4 fatcat:67ye6yljzjcnjgpzi5lxun6jxu