We study a modeling framework and computational paradigm called Colonies of Syn- chronizing Agents (CSAs), which abstracts intracellular and intercellular mechanisms of biological tissues. The model is based on a multiset of agents (cells) in a com- mon 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 (intercellu-lar action). In this paper we investigate dynamic properties of CSAs, by means of temporal logic, and we give a logical characterization of some notions inspired by evolutionary biology such as robustness, mutants and species. We reveal the relation that exists between the concept of robustness for CSAs and the bisimulation relation on colonies. We also present some decidability results for particular cases of robustness. Preprint of an article submitted for consideration in International Journal of Foundations of Computer Science ©2008 copyright World Scientific Publishing Company [http://www.worldscinet.com/ijfcs/ijfcs.shtml]

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents / Mardare, Radu; Cavaliere, Matteo; Sedwards, Sean. - ELETTRONICO. - (2007), pp. 1-23.

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents

Mardare, Radu;Sedwards, Sean
2007-01-01

Abstract

We study a modeling framework and computational paradigm called Colonies of Syn- chronizing Agents (CSAs), which abstracts intracellular and intercellular mechanisms of biological tissues. The model is based on a multiset of agents (cells) in a com- mon 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 (intercellu-lar action). In this paper we investigate dynamic properties of CSAs, by means of temporal logic, and we give a logical characterization of some notions inspired by evolutionary biology such as robustness, mutants and species. We reveal the relation that exists between the concept of robustness for CSAs and the bisimulation relation on colonies. We also present some decidability results for particular cases of robustness. Preprint of an article submitted for consideration in International Journal of Foundations of Computer Science ©2008 copyright World Scientific Publishing Company [http://www.worldscinet.com/ijfcs/ijfcs.shtml]
2007
Trento
The Microsoft Research-University of Trento Centre for Computational and Systems Biology
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents / Mardare, Radu; Cavaliere, Matteo; Sedwards, Sean. - ELETTRONICO. - (2007), pp. 1-23.
Mardare, Radu; Cavaliere, Matteo; Sedwards, Sean
File in questo prodotto:
File Dimensione Formato  
TR-23-2007.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 558.02 kB
Formato Adobe PDF
558.02 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/358578
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
  • OpenAlex ND
social impact