loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05)
Theory and Practice of Programming Applied to Membrane Systems
Timisoara, Romania
September 25-September 29
ISBN: 0-7695-2453-2
ASCII Text
x 
 
Gabriel Ciobanu, "Theory and Practice of Programming Applied to Membrane Systems," Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on, pp. 19-25, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005.
 
 
BibTex
x
 
@article{ 10.1109/SYNASC.2005.74,
author = {Gabriel Ciobanu},
title = {Theory and Practice of Programming Applied to Membrane Systems},
journal ={Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on},
volume = {0},
year = {2005},
isbn = {0-7695-2453-2},
pages = {19-25},
doi = {http://doi.ieeecomputersociety.org/10.1109/SYNASC.2005.74},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
TI - Theory and Practice of Programming Applied to Membrane Systems
SN - 0-7695-2453-2
SP19
EP25
A1 - Gabriel Ciobanu,
PY - 2005
KW - null
VL - 0
JA - Symbolic and Numeric Algorithms for Scientific Computing, International Symposium on
ER -
 
Gabriel Ciobanu, Research Institute "e-Austria" Timişoara and Romanian Academy

Following the knowledge provided by the theory of programming, we present an abstract syntax of the membrane systems, and their semantics. We define an appropriate notion of configurations, and sets of inference rules corresponding to the three stages of an evolution step in membrane systems. A notion of bisimulation is defined; bisimulation relations allow to compare the evolution behaviour of two membrane systems.

On the other hand, the practice of programming related to membrane systems is given by the presentation of some sequential and parallel software simulators, emphasizing their specific features.

Citation:
Gabriel Ciobanu, "Theory and Practice of Programming Applied to Membrane Systems," synasc, pp.19-25, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.