A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures.
Saved in:
| Title: | A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. |
|---|---|
| Authors: | SCHELLHORN, GERHARD1, schellhorn@informatik.uni-augsburg.de, DERRICK, JOHN2, J.Derrick@dcs.shef.ac.uk, WEHRHEIM, HEIKE3, wehrheim@uni-paderborn.de |
| Source: | ACM Transactions on Computational Logic; Jul2014, Vol. 15 Issue 4, p1-37, 37p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15293785 |
|---|---|
| DOI: | 10.1145/2629496 |
