The Parallel Intensionally Fully Abstract Games Model of PCF

DOI10.1109/LICS.2015.31MaRDI QIDQ4635807zbMATH OpenOpenAlexFDO

Authors 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

Mathematics Subject Classification ID

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)

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

Cited in

(15)

• Continuous probability distributions in concurrent games
• Bayesian strategies: probabilistic programs as generalised graphical models
• scientific article; zbMATH DE number 7533341 (Why is no real title available?)
• The concurrent game semantics of probabilistic PCF
• Full abstraction for PCF
• On full abstraction for PCF: I, II and III
• The mays and musts of concurrent strategies
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• A tale of additives and concurrency in game semantics
• Concurrent structures in game semantics
• Fibred pseudo double categories for game semantics
• Foundations of Software Science and Computation Structures
• Disentangling parallelism and interference in game semantics
• Concurrent quantum strategies
• scientific article; zbMATH DE number 7204431 (Why is no real title available?)

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)