Behavioural Equivalences in Real-Time P Systems

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.

[1]  Gheorghe Paun,et al.  The Oxford Handbook of Membrane Computing , 2010 .

[2]  Martin Wirsing,et al.  Software-Intensive Systems and New Computing Paradigms - Challenges and Visions , 2008, Software-Intensive Systems and New Computing Paradigms.

[3]  Gabriel Ciobanu,et al.  Adding Lifetime to Objects and Membranes in P Systems , 2010, Int. J. Comput. Commun. Control.

[4]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[5]  Gheorghe Paun,et al.  Applications of Membrane Computing (Natural Computing Series) , 2005 .

[6]  Allen R Kunselman,et al.  Anatomical and histological equivalence of the human, canine, and bull vas deferens. , 2011, The Canadian journal of urology.

[7]  Peter Sorger,et al.  New approaches to modeling complex biochemistry , 2011, Nature Methods.

[8]  Davide Sangiorgi,et al.  On the bisimulation proof method , 1998, Mathematical Structures in Computer Science.

[9]  Gabriel Ciobanu.  Behaviour Equivalences in Timed Distributed pi-Calculus , 2008, Software-Intensive Systems and New Computing Paradigms.

[10]  Matteo Cavaliere,et al.  Time and Synchronization in Membrane Systems , 2005, Fundam. Informaticae.

[11]  Cristian S. Calude,et al.  Bio-steps beyond Turing. , 2004, Bio Systems.

[12]  Davide Sangiorgi,et al.  A Theory of Bisimulation for the pi-Calculus , 1993, CONCUR.

[13]  Florent Jacquemard,et al.  An Analysis of a Public Key Protocol with Membranes , 2005 .

[14]  Gabriel Ciobanu,et al.  A rewriting logic framework for operational semantics of membrane systems , 2007, Theor. Comput. Sci..

[15]  Davide Sangiorgi,et al.  The Pi-Calculus - a theory of mobile processes , 2001 .

[16]  William R. Taylor,et al.  Structure Comparison and Structure Patterns , 2000, J. Comput. Biol..

[17]  Rudolf Freund,et al.  Extended Spiking Neural P Systems with Decaying Spikes and/or Total Spiking , 2008, Int. J. Found. Comput. Sci..

[18]  Paolo Milazzo,et al.  Compositional semantics and behavioral equivalences for P Systems , 2008, Theor. Comput. Sci..

[19]  Steve A. Schneider,et al.  An Operational Semantics for Timed CSP , 1995, Inf. Comput..