@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},
}

@article{HOL-CSPM-AFP,
  author  = {Benoît Ballenghien and Safouan Taha and Burkhart Wolff},
  title   = {HOL-CSPM - Architectural operators for HOL-CSP},
  journal = {Archive of Formal Proofs},
  month   = {December},
  year    = {2023},
  note    = {\url{https://isa-afp.org/entries/HOL-CSPM.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{DBLP:journals/entcs/Roscoe15,
  author       = {A. W. Roscoe},
  editor       = {Dan R. Ghica},
  title        = {The Expressiveness of {CSP} With Priority},
  booktitle    = {The 31st Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2015, Nijmegen, The Netherlands, June 22-25, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {319},
  pages        = {387--401},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2015.12.023},
  doi          = {10.1016/J.ENTCS.2015.12.023},
  timestamp    = {Tue, 16 Aug 2022 23:07:07 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Roscoe15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}


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

