Rewriting logic specification of membrane systems with promoters and inhibitors

Electronic Notes in Theoretical Computer Science

Volumn , Issue , 2008, Pages 1-16

  Agrigoroaiei, Oana ^a   Ciobanu, Gabriel ^b  

^a ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

^b ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

Author keywords

Maude; Membrane system; Operational semantics; Rewriting logic

Indexed keywords

CONCURRENT SYSTEMS; DYNAMIC ALLOCATIONS; MAUDE; MEMBRANE SYSTEM; MODEL OF COMPUTATION; OPERATIONAL SEMANTICS; PARALLEL APPLICATION; REWRITING LOGIC;

APPLICATION PROGRAMS; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS;

MEMBRANES;

EID: 76849100791     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (19)

1. B. Aman, G. Ciobanu. Translating Mobile Ambients into P Systems. Electronic Notes in Theoretical Computer Science, vol. 171, 11-23, 2007.
2. O. Andrei, G. Ciobanu, D. Lucanu. Executable Specifications of the P Systems. Membrane Computing. WMC5, Lecture Notes in Computer Science vol. 3365, 127-146, 2005.
3. O. Andrei, G. Ciobanu, D. Lucanu. Operational Semantics and Rewriting Logic in Membrane Computing, Electronic Notes of Theoretical Computer Science vol.156, 57-78, 2006.
4. O. Andrei, G. Ciobanu, D. Lucanu. A Rewriting Logic Framework for Operational Semantics of Membrane Systems, Theoretical Computer Science vol. 373, 163-181, 2007.
5. J.-P. Banâtre, A. Coutant, D. Le Métayer. A Parallel Machine for Multiset Transformation and Its Programming Style. Future Generation Computer Systems, vol. 4, 133-144, 1988.
6. G. Berry, G. Boudol. The Chemical Abstract Machine. Theoretical Computer Science, vol. 96, 217-248, 1992.
7. P. Bottoni, C. Martín-Vide, G. Paun, G. Rozenberg. Membrane systems with promoters/inhibitors. Acta Informatica, vol. 38(10), 695-720, 2002.
8. L. Cardelli, A. Gordon. Mobile Ambients. Foundations of Software Science and Computation Structures, Lecture Notes in Computer Science, vol. 1378, 140-155, 1998.
9. L. Cardelli. Brane Calculus. Computational Methods in Systems Biology, Lecture Notes in Computer Science, vol. 3082, 257-280, 2005.
10. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, J.F. Quesada. Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science, vol. 285, 187-243, 2002.
11. G. Kahn. Natural semantics, Technical Report 601, INRIA Sophia Antipolis, 1987.
12. N. Marti-Oliet, J. Meseguer. Rewriting logic as a logical and semantical framework. Handbook of Philosophical Logic, 2nd.edn, Kluwer Academic, 1-87, 2002.
13. J. Meseguer. Membership algebra as a logical framework for equational specification. WADT 1997, Lecture Notes in Computer Science, vol. 1376, 18-61, 1997.
14. J. Meseguer, G. Rosu. Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. IJCAR 2004, Lecture Notes in Computer Science, vol. 3097, 1-44, 2004.
15. J. Meseguer, G. Roşu. The Rewriting Logic Semantics Project. Theoretical Computer Science, vol. 373, 213-237, 2007.
16. Gh. Pǎun. Membrane Computing. An Introduction. Springer, 2002.
17. G. Plotkin. Structural Operational Semantics. Journal of Logic and Algebraic Programming, vol. 60, 17-139, 2004.
18. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, E. Shapiro. BioAmbients - An Abstraction for Biological Compartments. Theoretical Computer Science, vol. 325, 141-167, 2004.
19. T.F. Serbǎnuţǎ, G. Roşu, J. Meseguer. A Rewriting Logic Approach to Operational Semantics. Electronic Notes in Theoretical Computer Science, vol. 192(1), 125-141, 2007.