This paper aims at discussing and classifying the various ways in which the object paradigm
is used in concurrent and distributed contexts. We distinguish among the library approach …

This paper surveys the work of many researchers on rewriting logic since it was first
introduced in 1990. The main emphasis is on the use of rewriting logic as a semantic …

The Actor model is a mathematical theory that treats" Actors" as the universal primitives of
concurrent digital computation. The model has been used both as a framework for a …

Java's threads offer appropriate means either for parallel programming of SMPs or as target
constructs when compiling add-on features (eg forall constructs, automatic parallelization …

A new theory of concurrent objects is presented. The theory has the important advantage of
being based directly on a simple logic called rewriting logic in which concurrent object …

Two of the most important issues in distributed systems are the synchronization of
concurrent threads and the application-level data transfers between execution spaces. At …

Current data abstraction mechanisms are not adequate to control sharing of state in the
general case involving objects in linked structures. The pervading possibility of sharing is a …

Polyphonic C♯ is an extension of the C♯ language with new asynchronous concurrency
constructs, based on the join calculus. We describe the design and implementation of the …

Based on a suitably defined coordination model distinguishing between objective (inter-
agent) coordination and subjective (intra-agent) coordination, this book addresses the …

Modern software systems are increasingly required to be open and distributed. Such
systems are open not only in terms of network connections and interoperability support for …