A Mathematical Game Semantics of Concurrency and Nondeterminism

DOI10.1007/978-3-319-25150-9_35zbMath1471.68164OpenAlexW2407279529MaRDI QIDQ2787451

Julian Gutierrez

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_35

zbMATH Keywords

closure operatorsconcurrent gamesevent structures

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A Mathematical Game Semantics of Concurrency and Nondeterminism