University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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.