Full Abstraction Without Synchronization Primitives (Q3178268): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The essence of parallel Algol. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5563096 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Angelic semantics of fine-grained concurrency / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Game Semantics of Idealized CSP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A new solution of Dijkstra's concurrent programming problem / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the semantics of the bad-variable constructor in Algol-like languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bad Variables Under Control / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Myths about the mutual exclusion problem / rank | |||
Normal rank |
Latest revision as of 07:46, 12 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Full Abstraction Without Synchronization Primitives |
scientific article |
Statements
Full Abstraction Without Synchronization Primitives (English)
0 references
8 July 2016
0 references
shared-variable concurrency
0 references
mutual exclusion
0 references
full abstraction
0 references
game semantics
0 references