A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (Q2958546)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables |
scientific article |
Statements
2 February 2017
0 references
shared variable parallelism
0 references
non-blocking synchronization
0 references
full abstraction
0 references
game semantics
0 references
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables (English)
0 references
0.88989234
0 references
0.88368785
0 references
0.8799081
0 references
0 references
0.8751111
0 references
0.8705641
0 references
0.86510515
0 references
