Publications

This paper represents a first step towards developing a toolkit for modular reasoning about components of object-based open distributed systems. The starting point is the actor theory framework, a general semantic framework, based on the actor computation model, for specifying and reasoning about such systems. The “tools” presented here take the form of relations, operations, and transformations on actor theories that can be used to establish refinement and interaction equivalence relations between actor theory configurations. The ideas are illustrated by simple but representative examples.