@article{HOL-CSP-AFP,
  author  = {Safouan Taha and Lina Ye and Burkhart Wolff},
  title   = {HOL-CSP Version 2.0},
  journal = {Archive of Formal Proofs},
  month   = {April},
  year    = {2019},
  note    = {\url{https://isa-afp.org/entries/HOL-CSP.html},
             Formal proof development},
  ISSN    = {2150-914x},
}



@Book{    roscoe:csp:1998,
  author = {A.W. Roscoe},
  title  = {Theory and Practice of Concurrency},
  publisher = {Prentice Hall},
  year  = 1998,
  isbn  = {0-13-674409-5}
}



@InProceedings{brookes-roscoe85,
author="Brookes, S. D. and Roscoe, A. W.",
editor="Brookes, Stephen D. and Roscoe, Andrew William and Winskel, Glynn",
title="An improved failures model for communicating processes",
booktitle="Seminar on Concurrency",
year="1985",
publisher="Springer Berlin Heidelberg",
address="Berlin, Heidelberg",
pages="281--305",
abstract="We extend the failures model of communicating processes to allow a more satisfactory treatment of divergence in addition to deadlock. The relationship between the revised model and the old model is discussed, and we make some connections with various models proposed by other authors.",
isbn="978-3-540-39593-5"
}


@inproceedings{Roscoe2010UnderstandingCS,
  title={Understanding Concurrent Systems},
  author={Andrew William Roscoe},
  booktitle={Texts in Computer Science},
  year={2010},
  url={https://api.semanticscholar.org/CorpusID:13292970}
}