Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:concurrent_data_structure
|
| gptkbp:citation |
Herlihy, M., & Wing, P. (1990). Linearizability: A correctness condition for concurrent objects.
|
| gptkbp:designedBy |
gptkb:Maurice_Herlihy
gptkb:Paul_Wing |
| gptkbp:heldBy |
linearizable
lock-free |
| gptkbp:implementedIn |
queue
|
| gptkbp:introducedIn |
1990
|
| gptkbp:operator |
dequeue
enqueue |
| gptkbp:publishedIn |
gptkb:Proceedings_of_the_1990_ACM_Symposium_on_Principles_of_Distributed_Computing
|
| gptkbp:usedIn |
concurrent programming
|
| gptkbp:bfsParent |
gptkb:Maurice_Herlihy
|
| gptkbp:bfsLayer |
5
|
| http://www.w3.org/2000/01/rdf-schema#label |
Herlihy–Wing queue
|