Rewriting Logic Specification of Membrane Systems with Promoters and Inhibitors

Electronic Notes in Theoretical Computer Science

Volumn 238, Issue 3, 2009, Pages 5-22

  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; NEW MODEL; OPERATIONAL SEMANTICS; PARALLEL APPLICATION; REWRITING LOGIC;

DISSOLUTION; PARALLEL PROCESSING SYSTEMS; RESOURCE ALLOCATION; SEMANTICS;

MEMBRANES;

EID: 67649414288     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.05.010     Document Type: Article

References (19)

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