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 | ||||||
|
||||||
Pag. 49-62 | ||||||
|
||||||
Descarcă PDF | ||||||
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. |
||||||
|