WMC 2005: Membrane Computing pp 31-48 | Cite as
Structural Operational Semantics of P Systems
Conference paper
Abstract
The paper formally describes an operational semantics of P systems. We present an abstract syntax of P systems, then the notion of configurations, and we define the sets of inference rules corresponding to the three stages of an evolution step: maximal parallel rewriting, parallel communication, and parallel dissolving. Several results assuring the correctness of each set of inference rules are also presented. Finally, we define simulation and bisimulation relations between P systems.
Keywords
Inductive Hypothesis Transition System Composite Membrane Inference Rule Operational Semantic
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Andrei, O., Ciobanu, G., Lucanu, D.: Executable specifications of the P systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 127–146. Springer, Heidelberg (2005)CrossRefGoogle Scholar
- 2.Andrei, O., Ciobanu, G., Lucanu, D.: Operational semantics and rewriting logic in membrane computing. In: Proceedings SOS Workshop, to appear in ENTCS (2005)Google Scholar
- 3.Ciobanu, G.: Distributed algorithms over communicating membrane systems. Biosystems 70, 123–133 (2003)CrossRefGoogle Scholar
- 4.Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and programming in rewriting logic. Theoretical Computer Science 285, 187–243 (2002)MATHCrossRefMathSciNetGoogle Scholar
- 5.Gunter, C.: Forms of semantic specification. Bulletin of the EATCS 45, 98–113 (1991)MATHGoogle Scholar
- 6.Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley, Chichester (1990)MATHGoogle Scholar
- 7.Kahn, G.: Natural semantics. Technical Report 601, INRIA Sophia Antipolis (1987)Google Scholar
- 8.Marti-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantical framework. In: Handbook of Philosophical Logic, 2nd edn., pp. 1–87. Kluwer Academic, Dordrecht (2002)Google Scholar
- 9.Milner, R.: Operational and algebraic semantics of concurrent processes. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol. B, pp. 1201–1242. Elsevier, Amsterdam (1990)Google Scholar
- 10.Mosses, P.: Modular structural operational semantics. BRICS RS 05-7 (2005)Google Scholar
- 11.Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction. Wiley, Chichester (1992)MATHGoogle Scholar
- 12.Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)MATHGoogle Scholar
- 13.Pitts, A.: Semantics of Programming Languages. Lecture Notes, University of Cambridge (1989)Google Scholar
- 14.Plotkin, G.: Structural operational semantics. Journal of Logic and Algebraic Programming 60, 17–139 (2004)CrossRefMathSciNetGoogle Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2006