Causality vs. interleavings in concurrent game semantics

DOI10.4230/LIPICS.CONCUR.2016.32zbMath1392.68287OpenAlexW2537740402MaRDI QIDQ4608684

Pierre Clairambault, Simon Castellan

Publication date: 21 March 2018

Full work available at URL: https://hal.inria.fr/hal-01474550

zbMATH Keywords

causalityconcurrencygame semanticsevent structures

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (5)

Continuous probability distributions in concurrent games ⋮ A Truly Concurrent Game Model of the Asynchronous $$\pi $$-Calculus ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Unnamed Item ⋮ Distributed Strategies Made Easy

This page was built for publication: Causality vs. interleavings in concurrent game semantics