Algorithmic Game Semantics: A Tutorial Introduction

Algorithmic Game Semantics: A Tutorial Introduction

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	Kluwer Academic Publishers 2001

Similar Items

Semantics of Interaction: an introduction to Game Semantics
by: Abramsky, S
Published: (1997)

Algorithmic Game Semantics and Component−Based Verification
by: Abramsky, S, et al.
Published: (2003)

Game Semantics
by: Abramsky, S, et al.
Published: (1999)

From CSP to Game Semantics
by: Abramsky, S
Published: (2010)

Games in the Semantics of Programming Languages
by: Abramsky, S
Published: (1997)

Game Semantics for Programming Languages
by: Abramsky, S
Published: (1997)

Game Semantics for Access Control
by: Abramsky, S, et al.
Published: (2009)

A Game semantics for Generic Polymorphism
by: Abramsky, S, et al.
Published: (2003)

A Game Semantics for Generic Polymorphism
by: Abramsky, S, et al.
Published: (2005)

Game semantics for dependent types
by: Vákár, M, et al.
Published: (2018)

A Compositional Game Semantics for Multi−Agent Logics of Partial Information
by: Abramsky, S
Published: (2007)

Auction algorithms for network flow problems : a tutorial introduction
Published: (2003)

Auction algorithms for network flow problems : a tutorial introduction
Published: (2003)

Algorithmic probabilistic game semantics
by: Kiefer, S, et al.
Published: (2013)

Operational algorithmic game semantics
by: Bunting, B, et al.
Published: (2023)

A tutorial introduction to Mathematica /
by: 189603 Ellis, Wade
Published: (1991)

Semantic technologies in electronic government: Tutorial and workshop
by: Harris, S, et al.
Published: (2008)

A fully abstract game semantics for general references
by: Abramsky, S, et al.
Published: (1998)

Genetic Programming: A Tutorial Introduction
by: O'Reilly, Una-May, et al.
Published: (2023)

UNIX and C : a tutorial introduction /
by: 416312 Cornes, Philip
Published: (1989)

Applying Game Semantics to Compositional Software Modelling and verification
by: Abramsky, S, et al.
Published: (2004)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
by: Abramsky, S, et al.
Published: (1997)

Independent component analysis : a tutorial introduction /
by: 412686 Stone, James V.
Published: (2004)

Using Class Memory Automata in Algorithmic Game Semantics
by: Cotton-Barratt, C
Published: (2016)

Whither semantics?
by: Abramsky, S
Published: (2019)

Android tutorial : introduction to bluetooth low energy
by: Ang, Anna Ghim Yong
Published: (2016)

Designing a tutorial for a multiplatform and multiplayer virtual reality game
by: Fan, Jing,M. Eng.Massachusetts Institute of Technology.
Published: (2019)

A tutorial introduction to Bayesian models of cognitive development
by: Perfors, Amy, et al.
Published: (2015)

Nominal Game Semantics
by: Tzevelekos, N
Published: (2009)

Semantic Foundations for Applicative Multiprogramming
by: Abramsky, S
Published: (1983)

Observational Logic and Process Semantics (Abstract)
by: Abramsky, S
Published: (1989)

A Categorical Semantics of Quantum Protocols
by: Abramsky, S, et al.
Published: (2004)

A categorical semantics of quantum protocols
by: Abramsky, S, et al.
Published: (2004)

A Categorical semantics of Quantum Protocols
by: Abramsky, S, et al.
Published: (2004)

Tutorial on robotics
by: Lee, C. S. G. (C. S. George), et al.
Published: (1986)

The tutorial statics /
by: 340738 Briggs, William, et al.
Published: ([n.d)

The tutorial algebra/
by: 340738 Briggs, William, et al.
Published: (1940)

The tutorial dynamics/
by: 340738 Briggs, William, et al.
Published: (1948)

Saturating automata for game semantics
by: Dixon, A, et al.
Published: (2023)

Quantales‚ Observational Logic and Process Semantics
by: Abramsky, S, et al.
Published: (1993)