Výsledky vyhledávání

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

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.

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.

Caratteristiche, prospettive e problematicità dell'Intelligenza Artificiale

Autor: Latella D., Siroli G. P., Tamburrini G.

Publikováno v: Dai droni alle armi autonome. Lasciare l'Apocalisse alle macchine?, edited by Farruggia F., pp. 43–60. Milano: Franco Angeli, 2023

Breve introduzione ai concetti fondamentali sui quali si basa l'intelligenza artificiale e alle problematiche alle quali il suo uso, specie in contesti critici, puo' dare origine. Viene data una breve introduzione storica e di inquadramento. Si appro

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::b8881b7841d2d433a6405cb69ca1fe23
https://openportal.isti.cnr.it/doc?id=people______::487b9ba0a6389f0d8af6e0e5ab9785a6

Zobrazit plný text záznamu

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

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.

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

Vyhledávací nástroje:

Upřesnit hledání