Bisimulation as a Logical Relation

Claudio Hermida, Uday Reddy, Edmund Robinson +1

We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to…