40 citations · 156 across the 43 of their papers we have counts for
1 paper · 2 filters
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…