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