@inproceedings{paper49, title = "Game Semantics", author = "S. Abramsky and G. McCusker", year = "1999", booktitle = "Computational Logic: Proceedings of the 1997 Marktoberdorf Summer School", editor = "H. Schwichtenberg and U. Berger", pages = "1-56", publisher = "Springer-Verlag", }