Nondeterminism in Game Semantics via Sheaves
From MaRDI portal
Publication:4635806
DOI10.1109/LICS.2015.30zbMath1401.68177OpenAlexW1564744357MaRDI QIDQ4635806
No author found.
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
Applications of game theory (91A80) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55)
Related Items
Unnamed Item, A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus, Bayesian strategies: probabilistic programs as generalised graphical models, Unnamed Item, Monoidal-closed categories of tree automata, Distributed Strategies Made Easy