Operational Algorithmic Game Semantics.

Benedict Bunting, Andrzej S. Murawski

Browse the full LICS paper archive.