Abstract
We present a real-time extension of P systems in which each membrane and each object has a lifetime attached to it, and we use these lifetimes to define and study various behavioural equivalences. We also establish sufficient conditions for guaranteeing progression over time.
This is a preview of subscription content, log in via an institution to check access.
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
Aman, B., Ciobanu, G.: Adding Lifetime to Objects and Membranes in P Systems. In: International Journal of Computers, Communication & Control, vol. V, pp. 268–279 (2010)
Andrei, O., Ciobanu, G., Lucanu, D.: A Rewriting Logic Framework for Operational Semantics of Membrane Systems. Theoretical Computer Science 373, 163–181 (2007)
Bachman, J., Sorger, P.: New Approaches to Modelling Complex Biochemistry. Nature Methods 8, 130–131 (2011)
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Compositional Semantics and Behavioural Equivalences for P Systems. Theoretical Computer Science 395, 77–100 (2008)
Calude, C.S., Păun, G.: Bio-Steps Beyond Turing. Biosystems 77, 175–194 (2004)
Cavaliere, M., Sburlan, D.: Time and Synchronization in Membrane Systems. Fundamenta Informaticae 64, 65–77 (2005)
Ciobanu, G.: Behaviour equivalences in timed distributed π-calculus. In: Wirsing, M., Banâtre, J.-P., Hölzl, M., Rauschmayer, A. (eds.) Soft-Ware Intensive Systems. LNCS, vol. 5380, pp. 190–208. Springer, Heidelberg (2008)
Ciobanu, G.: Semantics of P Systems. In: The Oxford Handbook of Membrane Computing, pp. 413–436 (2010)
Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing. Natural Computing Series. Springer (2006)
Eidhammer, I., Jonassen, I., Taylor, W.: Structure Comparison and Structure Patterns. Journal of Computational Biology 7, 685–716 (2000)
Freund, R., Ionescu, M., Oswald, M.: Extended Spiking Neural P Systems with Decaying Spikes and/or Total Spiking. International Journal of Foundations of Computer Science 19, 1223–1234 (2008)
Leocadio, D.E., Kunselman, A.R., Cooper, T., Barrantes, J.H., Trussell, J.C.: Anatomical and Histological Equivalence of the Human, Canine, and Bull Vas Deferens. The Canadian Journal of Urology 18, 5699–5704 (2011)
Păun, G.: Membrane Computing. An Introduction. Springer (2002)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press (2010)
Sangiorgi, D.: A Theory of Bisimulation for the π-Calculus. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 127–142. Springer, Heidelberg (1993)
Sangiorgi, D.: On the Bisimulation Proof Method. Journal of Mathematical Structures in Computer Science 8, 447–479 (1998)
Sangiorgi, D., Walker, D.: The π-calculus: A Theory of Mobile Processes. Cambridge University Press (2001)
Schneider, S.: An Operational Semantics for Timed CSP. Information and Computation 116, 193–213 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aman, B., Ciobanu, G. (2014). Behavioural Equivalences in Real-Time P Systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2013. Lecture Notes in Computer Science, vol 8340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54239-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-642-54239-8_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-54238-1
Online ISBN: 978-3-642-54239-8
eBook Packages: Computer ScienceComputer Science (R0)