DocumentCode
2858705
Title
Structural Properties and Observability in Membrane Systems
Author
Aman, Bogdan ; Ciobanu, Gabriel
fYear
2007
fDate
26-29 Sept. 2007
Firstpage
74
Lastpage
81
Abstract
We assimilate some notions of the ambient calculus into the formalism of membrane systems. Thus we consider the exhibit of an ambient, its level, the structural congruence, and the contextual bisimulation to define and study in mobile membrane systems the corresponding observation barbs, the depths of a membrane system, and the structural congruence. The relation between these notions is given by a translation function.
Keywords
biocomputing; mobile computing; parallel processing; ambient calculus; contextual bisimulation; distributed parallel computing; membrane system observability; mobile membrane systems; structural congruence; structural properties; translation function; Biological system modeling; Biological systems; Biomembranes; Calculus; Computer science; Context modeling; Evolution (biology); Observability; Parallel processing; Scientific computing;
fLanguage
English
Publisher
ieee
Conference_Titel
Symbolic and Numeric Algorithms for Scientific Computing, 2007. SYNASC. International Symposium on
Conference_Location
Timisoara
Print_ISBN
978-0-7695-3078-8
Type
conf
DOI
10.1109/SYNASC.2007.65
Filename
4438082
Link To Document