Article ID Journal Published Year Pages File Type
10343460 Nano Communication Networks 2015 7 Pages PDF
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. Moreover, we use the ambient logic to provide a logical characterization for located observational equivalence.
Related Topics
Physical Sciences and Engineering Computer Science Computer Networks and Communications
Authors
, ,