Semantics of Interaction: an introduction to Game Semantics

Eitemau Tebyg

• Algorithmic Game Semantics: A Tutorial Introduction
  gan: Abramsky, S
  Cyhoeddwyd: (2001)
• Game Semantics
  gan: Abramsky, S, et al.
  Cyhoeddwyd: (1999)
• Games in the Semantics of Programming Languages
  gan: Abramsky, S
  Cyhoeddwyd: (1997)
• Game Semantics for Programming Languages
  gan: Abramsky, S
  Cyhoeddwyd: (1997)
• From CSP to Game Semantics
  gan: Abramsky, S
  Cyhoeddwyd: (2010)