12 citations · 34 across the 15 of their papers we have counts for
1 paper · 2 filters
Harsh Beohar, Sebastian Küpper
It is well known that the theory of coalgebras provides an abstract definition of behavioural equivalence that coincides with strong bisimulation across a wide variety of state-bas…