CCL

Összesen 3 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM115227
035-os BibID:(WoS)000828190800003 (Scopus)85132514810
Első szerző:Bagossy Attila (informatikus)
Cím:Controlled reversibility in communicating reaction systems / Bagossy, Attila; Vaszil, György
Dátum:2022
ISSN:0304-3975
Megjegyzések:We study the reversibility of communicating reaction systems, variants of networks of reaction systems communicating by sending reaction products to specific target components. We first consider the possibility of "backtracking" their computations, then define distributed communicating reaction systems, an "unsynchronized" variant of the model in order to show how reversibility can be defined in a causally consistent manner.
Tárgyszavak:Műszaki tudományok Informatikai tudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
reversibility
reaction systems
Megjelenés:Theoretical Computer Science. - 926 (2022), p. 3-20. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:K 120558
OTKA
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM104408
035-os BibID:(Scopus)85109881009
Első szerző:Bagossy Attila (informatikus)
Cím:Transition Graphs of Reversible Reaction Systems / Attila Bagossy, György Vaszil
Dátum:2021
ISBN:978-3-030-77101-0
Tárgyszavak:Természettudományok Matematika- és számítástudományok könyvfejezet
könyvrészlet
Megjelenés:Membrane Computing, 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020, Revised Selected Papers / eds. Rudolf Freund, Tseren-Onolt Ishdorj, Grzegorz Rozenberg, Arto Salomaa, Claudio Zandron. - p. 1-16. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:K 120558
OTKA
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM090722
035-os BibID:(Scopus)85107846231
Első szerző:Bagossy Attila (informatikus)
Cím:Simulating reversible computation with reaction systems / Attila Bagossy, György Vaszil
Dátum:2020
ISSN:2523-8906 2523-8914
Megjegyzések:Reaction systems are a formal model of computation providing a framework for investigating biochemical reactions inside living cells. We look at the functioning of these systems as a process producing a series of different possible sets of entities representing states which can be changed by the application of reactions, and we study reversibility and its simulation in this framework. Our goal is to establish an Undo-Redo-Do-like semantics of reversibility with environmental control over the direction of the computation following a so-called no-memory approach, that is, without introducing modifications to the model of reaction systems itself. We first establish requirements the systems must satisfy in order to produce processes consisting of states with unique predecessors, then define reversible reaction systems in terms of reversible interactive processes. For such reversible systems, we also construct simulator systems that can traverse between the states of reversible interactive processes back and forth based on the input of a special "rollback" symbol from the environment.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
reaction systems
reversible computation
reversible reaction systems
Megjelenés:Journal of Membrane Computing. - 2 : 3 (2020), p. 179-193. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:NKFIH K 120558
Egyéb
EFOP-3.6.3-VEKOP-16-2017-00002
EFOP
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1