Analysing Lock−Free Linearizable Datatypes Using CSP
Gavin Lowe
Book Title
Concurrency‚ Security and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
Editor
Thomas Gibson−Robinson and Philippa Hopcroft and Ranko ́Lazic
Publisher
Springer
Series
LNCS
Volume
10160
Year
2017