@incollection{lock-free-queue-analysis,
  title = "Analysing Lock-Free Linearizable Datatypes Using CSP",
  author = "Gavin Lowe",
  year = "2017",
  booktitle = "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 Lazi\'c",
  publisher = "Springer",
  series = "LNCS",
  volume = "10160",
}