Continuous probability distributions in concurrent games

DOI10.1016/J.ENTCS.2018.11.016MaRDI QIDQ2134837zbMATH OpenOpenAlexWikidataFDO

Authors Hugo Paquet, Glynn Winskel

Publication date 3 May 2022

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

zbMATH Keywords

concurrencyevent structuresgame semanticsmeasure theoryprobability

Mathematics Subject Classification ID

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

Recommendations

• Distributed Strategies Made Easy
• Probabilistic game semantics
• The concurrent game semantics of probabilistic PCF
• On probabilistic distributed strategies
• Games and strategies as event structures

Cites work

• Causality vs. interleavings in concurrent game semantics
• CONCUR 2004 - Concurrency Theory
• Concurrent structures in game semantics
• Distributed probabilistic and quantum strategies
• Full abstraction for PCF
• Game-theoretic analysis of call-by-value computation
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 1361142 (Why is no real title available?)
• scientific article; zbMATH DE number 7204431 (Why is no real title available?)
• scientific article; zbMATH DE number 3060775 (Why is no real title available?)
• Introduction to bicategories
• LCF considered as a programming language
• On full abstraction for PCF: I, II and III
• Probabilistic game semantics
• Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
• The concurrent game semantics of probabilistic PCF
• The Parallel Intensionally Fully Abstract Games Model of PCF
• Thin games with symmetry and concurrent Hyland-Ong games
• Topological categories

Cited in

(5)

• Augmented probability simulation methods for sequential games
• Bayesian strategies: probabilistic programs as generalised graphical models
• scientific article; zbMATH DE number 5657810 (Why is no real title available?)
• Zeta functions and the (linear) logic of Markov processes
• Bi-invariance for uniform strategies on event structures

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

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