Game Semantics for Access Control

Game Semantics for Access Control

Bibliographic Details
Main Authors:	Abramsky, S, Jagadeesan, R
Format:	Journal article
Published:	2009

Similar Items

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)

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

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

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)

Games and Full Completeness for Multiplicative Linear Logic
by: Abramsky, S, et al.
Published: (1994)

Games and Full Completeness for Multiplicative Linear Logic
by: Abramsky, S, et al.
Published: (1992)

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

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)

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)

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

New Foundations for the Geometry of Interaction
by: Abramsky, S, et al.
Published: (1992)

New Foundations for the Geometry of Interaction
by: Abramsky, S, et al.
Published: (1994)

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

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

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

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

Full Abstraction for PCF (Extended Abstract)
by: Abramsky, S, et al.
Published: (1994)

Full abstraction for PCF
by: Abramsky, S, et al.
Published: (2000)

Full Abstraction for PCF
by: Abramsky, S, et al.
Published: (2000)

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)

Sequentiality vs. concurrency in games and logic
by: Abramsky, S
Published: (2003)

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

Concurrent Games and Full Completeness
by: Abramsky, S, et al.
Published: (1999)

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

Call−by−value games
by: Abramsky, S, et al.
Published: (1998)

Games for recursive types
by: Abramsky, S, et al.
Published: (1995)

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

Game theory meets theoretical computer science
by: Abramsky, S, et al.
Published: (2005)

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)