Behavioural Equivalences in Real- Time P Systems
Close
Articolul precedent
Articolul urmator
659 0
SM ISO690:2012
AMAN, Bogdan, CIOBANU, Gabriel. Behavioural Equivalences in Real- Time P Systems. In: International Conference on Membrane Computing, 20-23 august 2013, Chișinău. Chișinău: "VALINEX" SRL, 2013, pp. 49-62. ISBN 978-9975-4237-2-4.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
International Conference on Membrane Computing 2013
Conferința "International Conference on Membrane Computing"
Chișinău, Moldova, 20-23 august 2013

Behavioural Equivalences in Real- Time P Systems


Pag. 49-62

Aman Bogdan, Ciobanu Gabriel
 
Institute for Computer Science, Romanian Academy, Iasi Branch
 
 
Disponibil în IBN: 1 iulie 2018


Rezumat

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 to study various behavioural equivalences. We also establish sufficient conditions for guaranteeing progression over time.