Abstract
Membrane systems are described by a language in which multisets of objects are encapsulated in hierarchical structures of compartments. The language provides primitives for parallel communication of objects across membranes and a primitive for membrane creation. The behaviour of each membrane is specified by means of multiset rewriting rules. We provide a compositional semantics for membrane systems by using the continuation passing style and metric spaces.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Alexandru, A., Ciobanu, G.: Mathematics of multisets in the Fraenkel-Mostowski framework. Bull. Math. Soc. Sci. Math. Roumanie 58(106), 3–18 (2015). Tome
Appel, A.W.: Compiling with Continuations. Cambridge University Press, New York (2007)
Andrei, O., Ciobanu, G., Lucanu, D.: A rewriting logic framework for operational semantics of membrane systems. Theor. Comput. Sci. 373, 163–181 (2007)
de Bakker, J.W., de Vink, E.P.: Control Flow Semantics. MIT Press, Cambridge (1996)
Ciobanu, G., Păun, G., Pérez-Jiménez, M.J.: Applications of Membrane Computing. Natural Computing Series. Springer, Heidelberg (2006)
Ciobanu, G.: Semantics of P systems. In: Handbook of Membrane Computing, pp. 413–436. Oxford University Press (2009)
Ciobanu, G., Todoran, E.N.: Metric denotational semantics for parallel rewriting of multisets. In: Proceedings 13th Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 276–283. IEEE Computer Press (2011)
Ciobanu, G., Todoran, E.N.: Relating two metric semantics for parallel rewriting of multisets. In: Proceedings 14th Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 273–280. IEEE Computer Press (2012)
Ciobanu, G., Todoran, E.N.: Continuation semantics for asynchronous concurrency. Fundamenta Informaticae 131(3–4), 373–388 (2014)
Ciobanu, G., Todoran, E.N.: Continuation semantics for dynamic hierarchical systems. In: Proceedings of 17th Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), pp. 281–288. IEEE Computer Press (2015)
Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Plotkin, G.: A powerdomain construction. SIAM J. Comput. 5(3), 452–487 (1976)
Todoran, E.N.: Metric semantics for synchronous and asynchronous communication: a continuation-based approach. Electronic Notes in Theoretical Computer Science 28, 101–127 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Ciobanu, G., Todoran, E.N. (2017). Continuation Passing Semantics for Membrane Systems. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2016. Lecture Notes in Computer Science(), vol 10105. Springer, Cham. https://doi.org/10.1007/978-3-319-54072-6_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-54072-6_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-54071-9
Online ISBN: 978-3-319-54072-6
eBook Packages: Computer ScienceComputer Science (R0)