Compositional relational reasoning via operational game semantics.

Guilhem Jaber, Andrzej S. Murawski

Browse the full LICS paper archive.