Zobrazeno 1 - 10
of 55
pro vyhledávání: '"Gabelaia D."'
Publikováno v:
In Indagationes Mathematicae April 2021 32(2):498-535
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.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 23, pages 167-243, 2005
In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PTL, the spatial logics RCC-8, BRCC-8, S
Externí odkaz:
http://arxiv.org/abs/1110.2726
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
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53
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
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702
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.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Research report, IT-MaTTerS, PRIN 2017FTXR7S, 2021
Topological Spatial Model Checking is a recent paradigm that combines Model Checking with the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::de73dbd5c53a57826c105128b860a8bf
https://openportal.isti.cnr.it/doc?id=people______::de73dbd5c53a57826c105128b860a8bf
https://openportal.isti.cnr.it/doc?id=people______::de73dbd5c53a57826c105128b860a8bf
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.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Annals of Pure and Applied Logic 2006 142(1):245-268
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.
K zobrazení výsledku je třeba se přihlásit.