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

Susumu Nishimura

Browse the full CSL paper archive.