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