@book{txcs-Roscoe10,
  title = {Understanding Concurrent Systems},
  author = {A. W. Roscoe},
  year = {2010},
  doi = {10.1007/978-1-84882-258-0},
  url = {http://dx.doi.org/10.1007/978-1-84882-258-0},
  researchr = {https://researchr.org/publication/txcs-Roscoe10},
  cites = {0},
  citedby = {0},
  series = {Texts in Computer Science},
  publisher = {Springer},
  isbn = {978-1-84882-258-0},
}