Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Mobile Membranes

Autor: Bogdan Aman, Gabriel Ciobanu

Publikováno v: IEEE Access, Vol 8, Pp 147439-147450 (2020)

Mobile membranes represent a model of computation inspired from the biological movement provided by endocytosis and exocytosis in the living cells. This paper presents a survey of the results treating the computational power of the mobile membranes,

Externí odkaz: https://doaj.org/article/ba7e47c8e0ac498faf7505604401d3f7

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Concurrent Realizability on Conjunctive Structures

Autor: Beffara, Emmanuel, Castro, Félix, Guillermo, Mauricio, Miquey, Étienne

Publikováno v: FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction
FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy

This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose a new algebraic structure called conjunctive involutive monoidal algebra (CIMA) as

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::913b4fa960593c990e1ee32beab9f347
https://inria.hal.science/hal-04083002v1/document

Pushdown Automata and Context-Free Grammars in Bisimulation Semantics

Autor: Baeten, Jos C. M., Carissimo, Cesare, Luttik, Bas

Publikováno v: Logical Methods in Computer Science, 19(1), 15:1-15:32

The Turing machine models an old-fashioned computer, that does not interact with the user or with other computers, and only does batch processing. Therefore, we came up with a Reactive Turing Machine that does not have these shortcomings. In the Reac

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79b53eb81e74c8e91989eaf1e3ecb22c
https://doi.org/10.46298/lmcs-19(1:15)2023