scientific article; zbMATH DE number 7204431

DOI10.4230/LIPICS.FSCD.2017.12zbMATH Open1441.68144MaRDI QIDQ5111308FDOQ5111308

Authors: Simon Castellan, Pierre Clairambault, Glynn Winskel 

Publication date: 26 May 2020

Title of this publication is not available (Why is that?)

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)