Concurrent Interaction Games

Concurrent Interaction Games

Bibliographic Details
Main Author:	Abramsky, S
Format:	Conference item
Published:	Palgrave 2000

Similar Items

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

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

Interaction Categories and the Foundations of Typed Concurrent Programming
by: Abramsky, S, et al.
Published: (1996)

Cooperative Concurrent Games
by: Gutierrez, J, et al.
Published: (2019)

Cooperative concurrent games
by: Gutierrez, J, et al.
Published: (2022)

Robin Milner's Work on Concurrency
by: Abramsky, S
Published: (2010)

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

Borel determinacy of concurrent games
by: Gutierrez, J, et al.
Published: (2013)

The winning ways of concurrent games
by: Clairambault, P, et al.
Published: (2012)

Equilibrium design for concurrent games
by: Gutierrez, J, et al.
Published: (2019)

Reasoning about concurrent systems: a functional approach
by: Abramsky, S
Published: (1984)

Equilibria of concurrent games on event structures
by: Gutierrez, J, et al.
Published: (2014)

Epistemic Strategies and Games on Concurrent Processes
by: Chatzikokolakis, K, et al.
Published: (2009)

Automated verification of concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2018)

Games meet Concurrency: Algorithms and Hardness
by: Coulombe, Michael Joseph
Published: (2023)

Concurrent logic games on partial orders
by: Gutierrez, J
Published: (2011)

Imperfect information in logic and concurrent games
by: Clairambault, P, et al.
Published: (2013)

Specification Structures and Propositions−as−Types for Concurrency
by: Abramsky, S, et al.
Published: (1996)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2006)

What are the fundamental structures of concurrency? We still don't know!
by: Abramsky, S
Published: (2005)

What are the fundamental structures of concurrency?: We still don't know!
by: Abramsky, S
Published: (2006)

Redefining game engine architecture through concurrency
by: Mohebali, A., et al.
Published: (2014)

Nash equilibria in concurrent games with lexicographic preferences
by: Gutierrez, J, et al.
Published: (2017)

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

Abstraction of situation calculus concurrent game structures
by: Lespérance, Y, et al.
Published: (2024)

Logics and bisimulation games for concurrency, causality and conflict
by: Gutierrez, J
Published: (2009)

Correlated equilibria and fairness in concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2022)

PRISM-games 3.0: Stochastic game verification with concurrency, equilibria and time
by: Kwiatkowska, M, et al.
Published: (2020)

Reasoning about equilibria in game-like concurrent systems
by: Gutierrez, J, et al.
Published: (2014)

Multi-player equilibria verification for concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2020)

Reasoning about equilibria in game-like concurrent systems
by: Gutierrez, J, et al.
Published: (2016)

Equilibria-based probabilistic model checking for concurrent stochastic games
by: Kwiatkowska, M, et al.
Published: (2019)

A tool for the automated verification of Nash equilibria in concurrent games
by: Toumi, A, et al.
Published: (2015)

On the determinacy of concurrent games on event structures with infinite winning sets
by: Gutierrez, J, et al.
Published: (2014)

Finite-horizon equilibria for neuro-symbolic concurrent stochastic games
by: Yan, R, et al.
Published: (2022)

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
by: Abramsky, S, et al.
Published: (1999)

Strategy synthesis for zero-sum neuro-symbolic concurrent stochastic games
by: Yan, R, et al.
Published: (2024)