Semantics of Interaction: an introduction to Game Semantics

Semantics of Interaction: an introduction to Game Semantics

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	Cambridge University Press 1997

Similar Items

Algorithmic Game Semantics: A Tutorial Introduction
by: Abramsky, S
Published: (2001)

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

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

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

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

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

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

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

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

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

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

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

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

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)

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

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

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

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)

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

Introduction. The semantics of nominals
by: M. Teresa Espinal, et al.
Published: (2004-12-01)

Introduction semantics: lexicon, grammar and use Introduction semantics: lexicon, grammar and use
by: Roberta Pires de Oliveira, et al.
Published: (2008-04-01)

Relating structure to power: comonadic semantics for computational resources
by: Abramsky, S, et al.
Published: (2018)

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

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

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

Semantics : an introduction to the science of meaning /
by: 366959 Ullman, Stephen
Published: (1962)

Game semantics for interface middleweight Java
by: Murawski, AS, et al.
Published: (2020)

Game semantics for first-order logic
by: Olivier Laurent
Published: (2010-10-01)

Concurrent Interaction Games
by: Abramsky, S
Published: (2000)

A fully abstract denotational semantics for the calculus of higher−order communicating systems
by: Thomsen, B, et al.
Published: (2001)

Semantic analysis : a practical introduction /
by: 511896 Goddard, Cliff
Published: (2011)

Meaning in language : an introduction to semantics and pragmatics /
by: 509825 Cruse, D. A.
Published: (2010)

A brief introduction logical semantics
by: korosh safavi
Published: (1999-12-01)

The Organic Codes: an introduction to semantic biology
by: Guimarães Romeu Cardoso
Published: (2003-01-01)

Computer Games and Representation of women: Semantic Analysis of Elsa’s Games
by: Farid Azizy, et al.
Published: (2018-07-01)

A mathematical game semantics of concurrency and nondeterminism
by: Gutierrez, J
Published: (2015)

Deconstructing general references via game semantics
by: Murawski, A, et al.
Published: (2013)