Algorithmic Game Semantics: A Tutorial Introduction

Geahča maid

• Semantics of Interaction: an introduction to Game Semantics
  Dahkki: Abramsky, S
  Almmustuhtton: (1997)
• Algorithmic Game Semantics and Component−Based Verification
  Dahkki: Abramsky, S, et al.
  Almmustuhtton: (2003)
• Game Semantics
  Dahkki: Abramsky, S, et al.
  Almmustuhtton: (1999)
• From CSP to Game Semantics
  Dahkki: Abramsky, S
  Almmustuhtton: (2010)
• Games in the Semantics of Programming Languages
  Dahkki: Abramsky, S
  Almmustuhtton: (1997)