Showing cs.LOShow all
2 papers · 1 filter
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…
cs.LO2016
Regular Behaviours with Names
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Nominal sets provide a framework to study key notions of syntax and semantics such as fresh names, variable binding and -equivalence on a conveniently abstract categorical level…