Active Bibliography

59 Game Theoretic Analysis Of Call-By-Value Computation – Kohei Honda, NOBUKO YOSHIDA - 1997
11 Game Semantics and Subtyping – Juliusz Chroboczek - 1999
29 Games and full abstraction for nondeterministic languages – Russell S. Harmer - 1999
11 Full abstraction for nominal general references – Nikos Tzevelekos
2 Applications of Game Semantics: From Program Analysis to Hardware Synthesis – Dan R. Ghica
1 Theory for Software Verification – David A. Naumann - 2009
Process Logic and Duality -- Part I: Sequential Processes – Kohei Honda
2 Full abstraction for Reduced ML – Andrzej S. Murawski, Nikos Tzevelekos - 2009
3 Game semantics for an object-oriented language – Nicholas Wolverson - 2008
30 Strong Normalisation in the π-Calculus – Nobuko Yoshida, Martin Berger, Kohei Honda - 2001
133 Games and Full Abstraction for the Lazy lambda-calculus – Samson Abramsky, Guy Mccusker - 1995
4 Axioms for Definability and Full Completeness – Samson Abramsky - 2000
39 An observationally complete program logic for imperative higher-order functions – Kohei Honda, Nobuko Yoshida, Martin Berger - 2005
29 Sequentiality and the π-Calculus – Martin Berger, Kohei Honda, Nobuko Yoshida - 2001
17 Definability and full abstraction – Pierre-Louis Curien
Extensional semantics of program behaviour – Guy McCusker - 2008
1 Processes and Games – Kohei Honda - 2003
Games in the Semantics of Programming Languages - An Elementary Introduction – Jan Jürjens, Benedikt L Owe, Florian Rudolph (eds, Jan J Urjens - 1999
100 Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions – Samson Abramsky, Guy McCusker - 1997