We study the notion of memory associated with membranes systems. Such a memory can be used in various ways; in this paper, we focus on two of them. One way is to consider the memory as a device for tracking how objects evolve. In this perspective, the memory is coded into objects which are enriched with suitable information to keep track on how they have been produced. This kind of memory allows to study the reversibility of membrane evolution. Another way is to consider the memory as a storing device for the objects consumed previously in the same evolution step. This kind of memory allows to describe a dynamic allocation of objects; two semantics are presented (a dynamic one and a static one), and it is proved their equivalence.
Memory associated with membranes systems
Giovanni Michele Pinna
2021-01-01
Abstract
We study the notion of memory associated with membranes systems. Such a memory can be used in various ways; in this paper, we focus on two of them. One way is to consider the memory as a device for tracking how objects evolve. In this perspective, the memory is coded into objects which are enriched with suitable information to keep track on how they have been produced. This kind of memory allows to study the reversibility of membrane evolution. Another way is to consider the memory as a storing device for the objects consumed previously in the same evolution step. This kind of memory allows to describe a dynamic allocation of objects; two semantics are presented (a dynamic one and a static one), and it is proved their equivalence.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Ciobanu-Pinna2021_Article_MemoryAssociatedWithMembranesS.pdf
Solo gestori archivio
Tipologia:
versione editoriale
Dimensione
5.73 MB
Formato
Adobe PDF
|
5.73 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
