2 citations · 4 across the 3 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2024
On Kleisli liftings and decorated trace semantics
Daniel Luckhardt, Harsh Beohar, Sebastian Küpper
It is well known that Kleisli categories provide a natural language to model side effects. For instance, in the theory of coalgebras, behavioural equivalence coincides with languag…
cs.LO2019
Bisimulation maps in presheaf categories
Harsh Beohar, Sebastian Küpper
The category of presheaves on a (small) category is a suitable semantic universe to study behaviour of various dynamical systems. In particular, presheaves can be used to record th…
cs.LO2017
On path-based coalgebras and weak notions of bisimulation
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…