The Community for Technology Leaders
2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (2005)
Timisoara, Romania
Sept. 25, 2005 to Sept. 29, 2005
ISBN: 0-7695-2453-2
pp: 19-25
Gabriel Ciobanu , Research Institute "e-Austria" Timişoara and Romanian Academy
ABSTRACT
<p>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.</p> <p>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.</p>
INDEX TERMS
null
CITATION
Gabriel Ciobanu, "Theory and Practice of Programming Applied to Membrane Systems", 2011 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, vol. 00, no. , pp. 19-25, 2005, doi:10.1109/SYNASC.2005.74
79 ms
(Ver 3.3 (11022016))