Elsevier

Theoretical Computer Science

Volume 391, Issue 3, 14 February 2008, Pages 216-238
Theoretical Computer Science

A multiset-based model of synchronizing agents: Computability and robustness

https://doi.org/10.1016/j.tcs.2007.11.009Get rights and content
Under an Elsevier user license
open archive

Abstract

We introduce a modelling framework and computational paradigm called Colonies of Synchronizing Agents (CSAs) inspired by the intracellular and intercellular mechanisms in biological tissues. The model is based on a multiset of agents in a common environment. Each agent has a local state stored in the form of a multiset of atomic objects, which is updated by global multiset rewriting rules either independently or synchronously with another agent. We first define the model then study its computational power, considering trade-offs between internal rewriting (intracellular mechanisms) and synchronization between agents (intercellular mechanisms). We also investigate dynamic properties of CSAs, including behavioural robustness (ability to generate a core behaviour despite agent loss or rule failure) and safety of synchronization (ability of an agent to synchronize with some other agent whenever needed).

Keywords

Colony
Synchronizing
Agents
Robustness
Amorphous
Distributed
Computing
Multisets
Rewriting

Cited by (0)