Výsledky vyhledávání

Report

Combining Insertion and Deletion in RNA-editing Preserves Regularity

Autor: de Vink, E. P., Zantema, H., Bošnački, D.

Publikováno v: EPTCS 100, 2012, pp. 48-62

Inspired by RNA-editing as occurs in transcriptional processes in the living cell, we introduce an abstract notion of string adjustment, called guided rewriting. This formalism allows simultaneously inserting and deleting elements. We prove that guid

Externí odkaz: http://arxiv.org/abs/1211.4092

Zobrazit plný text záznamu

Report

Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages

Autor: Latella, D., Massink, M., de Vink, E. P.

Publikováno v: EPTCS 93, 2012, pp. 23-43

Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic proces

Externí odkaz: http://arxiv.org/abs/1209.1432

Zobrazit plný text záznamu

Report

Dynamic System Adaptation by Constraint Orchestration

Autor: Groenewegen, L. P. J., de Vink, E. P.

For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fly through Paradigm's constraint orchestration, also for originally unforeseen ev

Externí odkaz: http://arxiv.org/abs/0811.3492

Zobrazit plný text záznamu

Akademický článek

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

Autor: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.

Publikováno v: ISTI Technical Report, ISTI-2023-TR/003, 2023

The notion of bisimilarity plays an important role in concurrency theory. It provides formal support to the idea of processes having "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides with

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::c87c2efc9e5bc3740873f181631453b2
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53

Zobrazit plný text záznamu

Autor: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.

Publikováno v: DisCoTec 2023-43rd IFIP WG 6.1 International Conference, FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, pp. 132–151, Lisbon, Portugal, 19-23/06/2023

The notion of bisimilarity plays an important role in con- currency theory. It provides formal support to the idea of processes hav- ing "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::214952863473fe4d9dbec838e9493620
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702

Zobrazit plný text záznamu

Minimisation of spatial models using branching bisimilarity (extended version)

Autor: Ciancia V., Groote J. F., Latella D., Massink M., De Vink E. P.

Publikováno v: ISTI Technical Report, ISTI-2022-TR/027, 2022

Spatial logic and spatial model checking have great poten- tial for traditional computer science domains and beyond. Reasoning about space involves two different conditional reachability modalities: a forward reachability, similar to that used in tem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::8cd5b851ceef9578f0842f0333ed543b
https://openportal.isti.cnr.it/doc?id=people______::4dfb32b6287fa4bf24ca6d5af12e68b9

Zobrazit plný text záznamu

Back-and-forth in space: on logics and bisimilarity in closure spaces. Preliminary Extended Version

Autor: Ciancia V., Latella D., Massink M., De Vink E. P.

Publikováno v: ISTI Technical Report, ISTI-TR-2022/018, 2022

We adapt the standard notion of bisimilarity for topological models to closure models and refine it for quasi-discrete closure models. We also define an additional, weaker notion of bisimilarity that is based on paths in space and expresses a form of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::2c40d719bf9e6285e98a7fa721cbca5b
https://openportal.isti.cnr.it/doc?id=people______::eb81b2482ef19184fec7cbf7ad4489d9

Zobrazit plný text záznamu

On the expressive power of IMLC and ISLCS

Autor: Ciancia V., Latella D., Massink M., De Vink E. P.

Publikováno v: ISTI Technical Report, ISTI-2022-TR/021, 2022

In these notes we prove that, in quasi-discrete closure models, the ISLCS forward (backword) conditional reachability operator can be expressed using a (possibly) infinite disjunction of nested formulas using only conjunction and the IMLC backward (f

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::950950970e1d8139c5a0c455771d1728
https://openportal.isti.cnr.it/doc?id=people______::aaa7cc67cf015b226f62d1930c89d2a6

Zobrazit plný text záznamu

Autor: Ciancia V., Latella D., Massink M., de Vink E.

Publikováno v: Research report, ITMaTTerS, PRIN 2017FTXR7S, 2021

Closure spaces are a generalisation of topological spaces obtained by removing the idempotence requirement on the closure operator. We adapt the standard notion of bisimilarity for topological models, namely Topo-bisimilarity, to closure models|we ca

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0cf3a1f141f7680221ff68ebe601673a
https://openportal.isti.cnr.it/doc?id=people______::0cf3a1f141f7680221ff68ebe601673a

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání