Sequentiality vs. concurrency in games and logic

Sequentiality vs. concurrency in games and logic

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

Similar Items

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

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

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)

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

On the Inherent Sequentiality of Concurrent Objects
by: Ellen, Faith, et al.
Published: (2012)

Refactoring Sequential Java Code for Concurrency via Concurrent Libraries
by: Ernst, Michael D., et al.
Published: (2008)

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)

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

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

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

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

TWO VARIABLE VS. LINEAR TEMPORAL LOGIC IN MODEL CHECKING AND GAMES
by: Benedikt, M, et al.
Published: (2013)

Two Variable vs. Linear Temporal Logic in Model Checking and Games
by: Benedikt, M, et al.
Published: (2011)

Concurrencer: a tool for retrofitting concurrency into sequential Java applications via concurrent libraries
by: Dig, Danny, et al.
Published: (2010)

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)

Concurrent and sequential pattern discrimination learning by patients with Korsakoff amnesia.
by: Gaffan, E, et al.
Published: (1990)

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)

Simultaneous vs sequential adjustments in a duopoly
by: Ibrahim, Adyda, et al.
Published: (2014)

Interaction Categories and Communicating Sequential Processes
by: Abramsky, S
Published: (1994)

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)

Programmable controllers and designing sequential logic/
by: 235266 Filer, Robert F., et al.
Published: (1992)

Verifying a concurrent, crash-safe file system with sequential reasoning
by: Chajed, Tej
Published: (2022)

A rigorous examination of sequentially expressed algorithms to reveal their concurrency hierarchies
by: Jones, C, et al.
Published: (1977)

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

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)

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