In previous work, we proposed a logic-based framework in which computation is the
execution of actions in an attempt to make reactive rules of the form if antecedent then …

It is fairly accepted that the realization of complex systems must be accomplished step by
step from the initial specification, through a sequence of intermediate phases, to the final …

This work presents ACLT, a coordination model aimed to combine and coordinate
heterogeneous agents by means of a communication abstraction inspired to the Linda …

A computing paradigm is presented for coordinating the execution of durative actions, ie
actions which, although executed atomically on a private local state, have a duration in the …

Coordination seems to require (at least in part) a persistent repository of information that
concurrent agents can query and update. Indeed, most coordination languages are based …

The TAO coordination model combines logical concepts and concurrency mechanisms: a
set of processes cooperate via a common, content addressable, shared state. Computation …