Kripke Open Bisimulation - A Marriage of Game Semantics and Operational Techniques.

Guilhem Jaber, Nicolas Tabareau

Browse the full APLAS paper archive.