TY - JOUR
T1 - Colonies of synchronizing agents
T2 - An abstract model of intracellular and intercellular processes
AU - Cavaliere, Matteo
AU - Mardare, Radu
AU - Sedwards, Sean
N1 - Cavaliere, M, Mardare, R & Sedwards, S 2007, Colonies of Synchronizing Agents: An Abstract Model of Intracellular and Intercellular Processes. in Proceedings of the International Workshop, Automata for
Cellular and Molecular Computing. pp. 35-51.
PY - 2007
Y1 - 2007
N2 - We present a modelling framework and computational paradigm called Colonies of Synchronizing Agents (CSAs), which abstracts intracellular and intercellular mechanisms of biological tissues. The model is based on a multiset of agents (cells) in a common environment. Each agent has a local contents, stored in the form of a multiset of atomic objects, updated by multiset rewriting rules which may act on individual agents (intracellular action) or synchronize the contents of pairs of agents (intercellular action). Using tools from formal language and temporal logic we investigate dynamic properties of CSAs, including robustness and safety of synchronization. We also identify classes of CSAs where such dynamic properties can be algorithmically decided
AB - We present a modelling framework and computational paradigm called Colonies of Synchronizing Agents (CSAs), which abstracts intracellular and intercellular mechanisms of biological tissues. The model is based on a multiset of agents (cells) in a common environment. Each agent has a local contents, stored in the form of a multiset of atomic objects, updated by multiset rewriting rules which may act on individual agents (intracellular action) or synchronize the contents of pairs of agents (intercellular action). Using tools from formal language and temporal logic we investigate dynamic properties of CSAs, including robustness and safety of synchronization. We also identify classes of CSAs where such dynamic properties can be algorithmically decided
KW - modelling framework
KW - colonies of synchronizing agents (CSAs)
KW - biological tissues
KW - intracellular processes
KW - intercellular processes
UR - https://www.pure.ed.ac.uk/ws/portalfiles/portal/25046166/acmc07proc_35_51.pdf
M3 - Conference article
SP - 35
EP - 51
JO - Proceedings of the International Workshop, Automata for Cellular and Molecular Computing
JF - Proceedings of the International Workshop, Automata for Cellular and Molecular Computing
ER -