Actors and - Agents Live Together ?

The syntax and semantics of actors and-agents is rst deened separately, using a uniform, \unbiased" approach. New coordination primitives are the added to the union of the two calculi which allow actors and-agents to cooperate. The syntax and semantics of actors and-agents are rst deened separately, using a uniform, \unbiased" approach. Since we aim at modeling concurrent distributed systems, and thus we are interested in asynchronous behavior, we choose for comparison with actors an asynchronous version of the-calculus. In the paper, the behavior of both actors and-agents is deened by certain logic sequents called tiles. A tile is a rewrite rule which describes a possible evolution of a part s of the system which is matched by it. In addition, a tile also describes the evolution of the interfaces of s with the rest of the system. Thus two parts s and s 0 sharing an interface can be rewritten only by tiles which agree on the evolution of the common interface. This restriction