Operational Semantics and Rewriting Logic in Membrane Computing

Electronic Notes in Theoretical Computer Science

Volumn 156, Issue 1 SPEC. ISS., 2006, Pages 57-78

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

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

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

References (9)

1. Andrei O., Ciobanu G., and Lucanu D. Executable Specifications of the P Systems. Lecture Notes in Computer Science 3365 (2005), Springer 127-146
2. Andrei, O., G. Ciobanu and D. Lucanu, A Structural Operational Semantics of the P Systems, "Pre-Proceedings of the 6th International Workshop on Membrane Computing WMC6", Vienna University of Technology (2005), 1-24
3. Bonchiş, C., C. Izbaşa, D. Petcu and G. Ciobanu, WebPS: A Web-based P system simulator, "Proceedings 3rd BWMC", RGNC Report 01/2005, Sevilla University (2005), 63-72
4. Ciobanu G. Distributed Algorithms over Communicating Membrane Systems. Biosystems 70 (2003) 123-133 Elsevier
5. 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-243, Elsevier
6. Meseguer J., and Rosu G. Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools. Proceedings IJCAR'04. Cork, Ireland. LNAI 3097 (2004), Springer 1-44
7. Pǎun Gh. Membrane Computing. An Introduction (2002), Springer
8. Pitts A. Semantics of programming languages. Lecture notes (1989), Computer Laboratory, University of Cambridge
9. Plotkin G.D. Structural operational semantics. Journal of Logic and Algebraic Programming 60 (2004) 17-139 Elsevier