scientific article; zbMATH DE number 7204431

DOI10.4230/LIPICS.FSCD.2017.12MaRDI QIDQ5111308zbMATH OpenFDO

Authors Simon Castellan, Pierre Clairambault, Glynn Winskel

Publication date 26 May 2020

zbMATH Keywords

concurrent gamesfull abstractiongame semanticsevent structuresparallel-or

Mathematics Subject Classification ID

Applications of game theory (91A80) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• The Parallel Intensionally Fully Abstract Games Model of PCF
• Deterministic concurrent strategies
• The concurrent game semantics of probabilistic PCF
• The winning ways of concurrent games
• Concurrent structures in game semantics

Cites work

• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3988722 (Why is no real title available?)
• scientific article; zbMATH DE number 1231510 (Why is no real title available?)
• scientific article; zbMATH DE number 2134913 (Why is no real title available?)
• scientific article; zbMATH DE number 7204333 (Why is no real title available?)
• Angelic semantics of fine-grained concurrency
• Asynchronous Games: Innocence Without Alternation
• Causality vs. interleavings in concurrent game semantics
• Deterministic concurrent strategies
• Full abstraction for PCF
• Full abstraction for fair testing in CCS (expanded version)
• Fully abstract semantics for observably sequential languages
• Games and strategies as event structures
• LCF considered as a programming language
• On full abstraction for PCF: I, II and III
• Strategies as profunctors
• The Parallel Intensionally Fully Abstract Games Model of PCF

Cited in

(3)

• Continuous probability distributions in concurrent games
• A tale of additives and concurrency in game semantics
• Causal Unfoldings and Disjunctive Causes

This page was built for publication:

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