16 citations · 40 across the 20 of their papers we have counts for
7 papers · 1 filter
Aczel-Mendler Bisimulations in a Regular Category
Jeremy Dubut
Aczel-Mendler bisimulations are a coalgebraic extension of a variety of computational relations between systems. It is usual to assume that the underlying category satisfies some f…
Weighted and Branching Bisimilarities from Generalized Open Maps
Jérémy Dubut, Thorsten Wißmann
In the open map approach to bisimilarity, the paths and their runs in a given state-based system are the first-class citizens, and bisimilarity becomes a derived notion. While open…
Fixed Points Theorems for Non-Transitive Relations
Jérémy Dubut, Akihisa Yamada
In this paper, we develop an Isabelle/HOL library of order-theoretic fixed-point theorems. We keep our formalization as general as possible: we reprove several well-known results a…
Relational Differential Dynamic Logic
Juraj Kolčák, Ichiro Hasuo, Jérémy Dubut +3
In the field of quality assurance of hybrid systems (that combine continuous physical dynamics and discrete digital control), Platzer's differential dynamic logic (dL) is widely re…
Quantitative bisimulations using coreflections and open morphisms
Jérémy Dubut, Ichiro Hasuo, Shin-ya Katsumata +1
We investigate a canonical way of defining bisimilarity of systems when their semantics is given by a coreflection, typically in a category of transition systems. We use the fact,…
Trees in Partial Higher Dimensional Automata
Jérémy Dubut
In this paper, we give a new definition of partial Higher Dimension Automata using lax functors. This definition is simpler and more natural from a categorical point of view, but a…
Bisimilarity of diagrams
Jérémy Dubut
In this paper, we investigate diagrams, namely functors from any small category to a fixed category, and more particularly, their bisimilarity. Initially defined using the theory o…