Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Komorida, Yuichi"'
Algorithms for partition refinement are actively studied for a variety of systems, often with the optimisation called Hopcroft's trick. However, the low-level description of those algorithms in the literature often obscures the essence of Hopcroft's
Externí odkaz:
http://arxiv.org/abs/2307.15261
A modal logic that is strong enough to fully characterize the behavior of a system is called expressive. Recently, with the growing diversity of systems to be reasoned about (probabilistic, cyber-physical, etc.), the focus shifted to quantitative set
Externí odkaz:
http://arxiv.org/abs/2105.10164
Autor:
Komorida, Yuichi
Publikováno v:
In: Petri\c{s}an D., Rot J. (eds) Coalgebraic Methods in Computer Science. CMCS 2020. Lecture Notes in Computer Science, vol 12094. Springer, Cham
Functor lifting along a fibration is used for several different purposes in computer science. In the theory of coalgebras, it is used to define coinductive predicates, such as simulation preorder and bisimilarity. Codensity lifting is a scheme to obt
Externí odkaz:
http://arxiv.org/abs/2102.03510
Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, etc.), bisimilarity has been extended in various ways: notably, bisimula
Externí odkaz:
http://arxiv.org/abs/1907.09634
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2022 127
Autor:
Komorida, Yuichi1,2 (AUTHOR) komorin@nii.ac.jp, Katsumata, Shin-ya1 (AUTHOR) s-katsumata@nii.ac.jp, Hu, Nick3 (AUTHOR), Klin, Bartek3 (AUTHOR), Humeau, Samuel4 (AUTHOR), Eberhart, Clovis1,5 (AUTHOR), Hasuo, Ichiro1,2 (AUTHOR) i.hasuo@acm.org
Publikováno v:
New Generation Computing. Jul2022, Vol. 40 Issue 2, p403-465. 63p.
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.