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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Andrei, O., Ciobanu, G., Lucanu, D.: Operational semantics and rewriting logic in membrane computing. In: Proceedings SOS Workshop, to appear in ENTCS (2005)
Ciobanu, G.: Distributed algorithms over communicating membrane systems. Biosystems 70, 123–133 (2003)
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)
Gunter, C.: Forms of semantic specification. Bulletin of the EATCS 45, 98–113 (1991)
Hennessy, M.: The Semantics of Programming Languages: An Elementary Introduction Using Structural Operational Semantics. Wiley, Chichester (1990)
Kahn, G.: Natural semantics. Technical Report 601, INRIA Sophia Antipolis (1987)
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)
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)
Mosses, P.: Modular structural operational semantics. BRICS RS 05-7 (2005)
Nielson, H.R., Nielson, F.: Semantics with Applications: A Formal Introduction. Wiley, Chichester (1992)
Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)
Pitts, A.: Semantics of Programming Languages. Lecture Notes, University of Cambridge (1989)
Plotkin, G.: Structural operational semantics. Journal of Logic and Algebraic Programming 60, 17–139 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andrei, O., Ciobanu, G., Lucanu, D. (2006). Structural Operational Semantics of P Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2005. Lecture Notes in Computer Science, vol 3850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11603047_2
Download citation
DOI: https://doi.org/10.1007/11603047_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30948-2
Online ISBN: 978-3-540-32340-2
eBook Packages: Computer ScienceComputer Science (R0)