Continuous probability distributions in concurrent games

DOI10.1016/J.ENTCS.2018.11.016OpenAlexW2903995849WikidataQ113317480 ScholiaQ113317480MaRDI QIDQ2134837

Glynn Winskel, Hugo Paquet

Publication date: 3 May 2022

Full work available at URL: https://doi.org/10.1016/j.entcs.2018.11.016

zbMATH Keywords

probabilitymeasure theoryconcurrencygame semanticsevent structures

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Bayesian strategies: probabilistic programs as generalised graphical models

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distributed probabilistic and quantum strategies
• Topological categories
• LCF considered as a programming language
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Game-theoretic analysis of call-by-value computation
• Thin Games with Symmetry and Concurrent Hyland-Ong Games
• Introduction to bicategories
• Causality vs. interleavings in concurrent game semantics
• The Parallel Intensionally Fully Abstract Games Model of PCF
• Semantics for probabilistic programming
• The concurrent game semantics of Probabilistic PCF
• CONCUR 2004 - Concurrency Theory
• Probabilistic game semantics

This page was built for publication: Continuous probability distributions in concurrent games