Bisimulation for Neighbourhood Structures.

Helle Hvid Hansen, Clemens Kupke, Eric Pacuit

Browse the full CALCO paper archive.