Foundations of concurrency among objects

The authors summarize a few current approaches to the fundamental issues of concurrency among objects. They also present an approach based on an extension of some previous models for specifying distributed communication systems and integration of some recent trends in distributed computing architectures. It relies on precisely specifying concurrently controlled logical times and then using these logical times to specify coordination among objects. By enforcement of abstraction barriers on state spaces and logical times, various degrees of spatial and temporal encapsulation may be realized.<>