A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables

DOI10.4230/LIPICS.CSL.2013.578zbMath1356.68139OpenAlexW2248216577MaRDI QIDQ2958546

Susumu Nishimura

Publication date: 2 February 2017

Full work available at URL: http://dx.doi.org/10.4230/LIPIcs.CSL.2013.578

zbMATH Keywords

full abstractiongame semanticsnon-blocking synchronizationshared variable parallelism

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Other game-theoretic models (91A40) Semantics in the theory of computing (68Q55) Eilenberg-Moore and Kleisli constructions for monads (18C20)

This page was built for publication: A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables