Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes

Bogdan Aman; Gabriel Ciobanu

8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)

Research Article

Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.4108/icst.bict.2014.257861,
    author={Bogdan Aman and Gabriel Ciobanu},
    title={Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes},
    proceedings={8th International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS)},
    publisher={ICST},
    proceedings_a={BICT},
    year={2015},
    month={2},
    keywords={cell mobility lifetimes equivalences},
    doi={10.4108/icst.bict.2014.257861}
}

Bogdan Aman
Gabriel Ciobanu
Year: 2015
Observational Equivalences in a Bio-Inspired Formalism Involving Mobility and Lifetimes
BICT
ACM
DOI: 10.4108/icst.bict.2014.257861

Bogdan Aman¹, Gabriel Ciobanu¹^,*

1: Romanian Academy, ICS, Iasi

*Contact email: gabriel@info.uaic.ro

Abstract

We use membrane systems to define a formalism inspired by cell biology in which mobility and timing are explicitly specified. In order to reason about the behaviours of complex biological systems, we introduce several observational equivalences over mobile membranes with lifetimes. These equivalences based on observations correspond to several combinations of mobility operations that can be performed, timing aspects of the objects involved in mobility and their explicit positions inside membranes. Various relationships between these observational equivalences are proved.

Keywords: cell mobility lifetimes equivalences

Published: 2015-02-02
Publisher: ICST
Appears in: ACM Digital Library

: http://dx.doi.org/10.4108/icst.bict.2014.257861