11 citations · 37 across the 18 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.DM2023
Bisimilar States in Uncertain Structures
Jurriaan Rot, Thorsten Wißmann
We provide a categorical notion called uncertain bisimilarity, which allows to reason about bisimilarity in combination with a lack of knowledge about the involved systems. Such un…
cs.FL2023
Action Codes
Frits Vaandrager, Thorsten Wißmann
We provide a new perspective on the problem how high-level state machine models with abstract actions can be related to low-level models in which these actions are refined by seque…
cs.LO2023
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…