www.cs.ox.ac.uk/people/gavin.lowe/LockFreeQueue/index.html

You are here:

• Home
• People
• Gavin Lowe
• LockFreeQueue

Analysing Lock-Free Linearizable Datatypes Using CSP

This page relates to my paper Analysing Lock-Free Linearizable Datatypes Using CSP, which appeared in Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of his 60th Birthday.

• The paper is here;
• The CSP model is here.