Applying Game Semantics to Compositional Software Modeling and Verification.

Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong

Browse the full TACAS paper archive.