Publications

We present a two-level model of distributed computation based on actors. This model is the basis for developing a semantic framework that supports dynamic customizability and separation of concerns in designing and reasoning about components of open distributed systems (ODS). In particular, we would like to be able to consider separately issues such as: functional behavior of an application; failure semantics and fault tolerance protocols; and resource management issues such as memory management, load balancing, and scheduling. In this paper we consider remote creation, migration, and reachability snapshot services: their specification at different levels of abstraction, and their composition.