Nondeterminism in game semantics via sheaves

DOI10.1109/LICS.2015.30zbMATH Open1401.68177OpenAlexW1564744357MaRDI QIDQ4635806FDOQ4635806

Authors:

Publication date: 23 April 2018

Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/lics.2015.30

Recommendations

• What's in a game?
• A Theory for Game Theories
• Categorical combinatorics for non deterministic strategies on simple games
• A Mathematical Game Semantics of Concurrency and Nondeterminism
• Probabilistic game semantics

Mathematics Subject Classification ID

Applications of game theory (91A80) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55)

Cited In (9)

• Monoidal-closed categories of tree automata
• Bayesian strategies: probabilistic programs as generalised graphical models
• Nondeterminacy and recursion via stacks and games
• Distributed Strategies Made Easy
• Categorical combinatorics for non deterministic strategies on simple games
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• Disentangling parallelism and interference in game semantics
• Grounding game semantics in categorical algebra
• Title not available (Why is that?)

This page was built for publication: Nondeterminism in game semantics via sheaves

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635806)