Structural operational semantics of P systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3850 LNCS, Issue , 2006, Pages 31-48

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

^a ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^b ACADEMY OF ROMANIAN SCIENTISTS   (Romania)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMISTRY; COMPUTER SCIENCE; INFERENCE ENGINES; PARALLEL PROCESSING SYSTEMS; SEMANTICS; SYNTACTICS;

CORRECTNESS; INFERENCE RULES; OPERATIONAL SEMANTICS; PARALLEL COMMUNICATION;

COMPUTATION THEORY;

EID: 33745675723     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11603047_2     Document Type: Conference Paper

References (14)

1. O. Andrei, G. Ciobanu, D. Lucanu: Executable specifications of the P systems. In Membrane Computing, International Workshop, WMC5, Milano, Italy, 2004, Selected Papers (G. Mauri, Gh. Pǎun, M.J. Pérez- Jiménez, G. Rozenberg, A. Salomaa, eds.), LNCS 3365, Springer, Berlin, 2005, 127-146.
2. O. Andrei, G. Ciobanu, D. Lucanu: Operational semantics and rewriting logic in membrane computing. Proceedings SOS Workshop, 2005, to appear in ENTCS.
3. G. Ciobanu: Distributed algorithms over communicating membrane systems. Biosystems, 70 (2003), 123-133.
4. 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, 285 (2002), 187-243.
5. C. Gunter: Forms of semantic specification. Bulletin of the EATCS, 45 (1991), 98-113.
6. M. Hennessy: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley, 1990.
7. G. Kahn: Natural semantics. Technical Report 601, INRIA Sophia Antipolis, 1987.
8. N. Marti-Oliet, J. Meseguer: Rewriting logic as a logical and semantical framework. In Handbook of Philosophical Logic, 2nd. edn., Kluwer Academic, 2002, 1-87.
9. R. Milner: Operational and algebraic semantics of concurrent processes. In Handbook of Theoretical Computer Science (J. van Leeuwen, ed.), vol. B, Elsevier, 1990, 1201-1242.
10. P. Mosses: Modular structural operational semantics. BRICS RS 05-7, 2005.
11. H.R. Nielson, F. Nielson: Semantics with Applications: A Formal Introduction. Wiley, 1992.
12. Gh. Pǎun: Membrane Computing. An Introduction. Springer, Berlin, 2002.
13. A. Pitts: Semantics of Programming Languages. Lecture Notes, University of Cambridge, 1989.
14. G. Plotkin: Structural operational semantics. Journal of Logic and Algebraic Programming, 60 (2004), 17-139.