A rewriting logic framework for operational semantics of membrane systems

Theoretical Computer Science

Volumn 373, Issue 3, 2007, Pages 163-181

  Andrei, Oana ^a   Ciobanu, Gabriel ^b,c   Lucanu, Dorel ^b  

^a LORIA   (France)

^b ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^c ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

Author keywords

Maude; Membrane systems; Operational semantics; Rewriting logic

Indexed keywords

COMPUTATIONAL METHODS; MEMBRANES; POLYNOMIAL APPROXIMATION; SEMANTICS; TURING MACHINES;

MAUDE; MEMBRANE SYSTEMS; OPERATIONAL SEMANTICS; REWRITING LOGIC;

FORMAL LOGIC;

EID: 33947220863     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.12.016     Document Type: Article

References (19)

1. Andrei O., Ciobanu G., and Lucanu D. Executable specifications of the P systems. Lecture Notes in Computer Science 3365 (2005) 127-146
2. Andrei O., Ciobanu G., and Lucanu D. A structural operational semantics of the P systems. Lecture Notes in Computer Science 3850 (2006) 32-49
3. Andrei O., Ciobanu G., and Lucanu D. Operational semantics and rewriting logic in membrane computing. Electronic Notes of Theoretical Computer Science 156 (2006) 57-78
4. Baeten J.C.M., Bergstra J.A., Klop J.W., and Weijland W.P. Term-rewriting systems with rule priorities. Theoretical Computer Science 67 (1989) 283-301
5. J.-P. Banatre, D. Le Metayer, A new computational model and its discipline of programming, INRIA Research Report No. 566, 1986
6. Berry G., and Boudol G. The chemical abstract machine. Theoretical Computer Science 96 (1992) 217-248
7. Borovanský P., Kirchner C., Kirchner H., and Moreau P.-E. ELAN from the rewriting logic point of view. Theoretical Computer Science 285 (2002) 155-185
8. Cardelli L. Brane calculi. Lecture Notes in Computer Science 3082 (2005) 257-278
9. Ciobanu G. Distributed algorithms over communicating membrane systems. Biosystems 70 (2003) 123-133
10. Ciobanu G., and Guo W. P systems running on a cluster of computers. Lecture Notes in Computer Science 2933 (2004) 123-139
11. Clavel M., Durán F., Eker S., Lincoln P., Martí-Oliet N., Meseguer J., and Quesada J.~F. Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285 (2002) 1870-1243
12. Cordon-Franco A., Gutierrez-Naranjo M.A., Perez-Jimenez M.J., Riscos-Nunez A., and Sancho-Caparrini F. Implementing in prolog an effective cellular solution for the Knapsack problem. Lecture Notes in Computer Science 2933 (2004) 140-152
13. Fradet P., and Le Metayer D. Structured gamma. Science of Computing Programming 31 (1998) 263-289
14. Giavitto J.-L., and Michel O. MGS: A rule-based programming language for complex objects and collections. Electronic Notes of Theoretical Computer Science 59 (2001)
15. Meseguer J., and Rosu G. Rewriting logic semantics: From language specifications to formal analysis tools. Lecture Notes in Computer Science 3097 (2004) 1-44
16. Pǎun Gh. Membrane Computing. An Introduction (2002), Springer
17. Gh. Pǎun, Introduction to membrane computing, in: Proc. 1st Brainstorming Workshop on Uncertainty in Membrane Computing, 2004, pp. 17-65
18. M.J. Perez-Jimenez, F.J. Romero-Campero, A CLIPS Simulator for Recognizer P Systems with Active Membranes, University of Sevilla Techical Report 01/2004, 2004, pp. 387-413
19. Plotkin G.D. Structural operational semantics. Journal of Logic and Algebraic Programming 60 (2004) 17-139