The Parallel Intensionally Fully Abstract Games Model of PCF
DOI10.1109/LICS.2015.31zbMATH Open1401.68170OpenAlexW1527567728MaRDI QIDQ4635807FDOQ4635807
Simon Castellan, Pierre Clairambault, Glynn Winskel
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.31
Recommendations
- The concurrent game semantics of probabilistic PCF
- Qualitative concurrent parity games: bounded rationality
- Toward a Generic Mathematical Model of Abstract Game Theories
- Game theoretical semantics for paraconsistent logics
- An application of model checking games to abstract argumentation
- Modal stochastic games. Abstraction-refinement of probabilistic automata
- A parallel game semantics for linear logic
- Intuitionistic games: determinacy, completeness, and normalization
- An abstraction-refinement methodology for reasoning about network games
- Payoffs, intensionality and abstraction in games
Theory of programming languages (68N15) Applications of game theory (91A80) Other game-theoretic models (91A40) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)
Cited In (13)
- Continuous probability distributions in concurrent games
- Bayesian strategies: probabilistic programs as generalised graphical models
- Title not available (Why is that?)
- Title not available (Why is that?)
- Full abstraction for PCF
- On full abstraction for PCF: I, II and III
- The mays and musts of concurrent strategies
- A tale of additives and concurrency in game semantics
- Concurrent Quantum Strategies
- Disentangling parallelism and interference in game semantics
- Foundations of Software Science and Computation Structures
- A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus
- Title not available (Why is that?)
This page was built for publication: The Parallel Intensionally Fully Abstract Games Model of PCF
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635807)
