Editing Communicating sequential processes (section)

== Further reading ==
* {{cite book |last=Hoare |first=C. A. R. |author-link=C. A. R. Hoare |title=Communicating Sequential Processes |orig-year=1985 |date=2004 |publisher=Prentice Hall International |url= http://www.usingcsp.com/ |isbn=978-0-13-153271-7}}
** This book has been updated by [[Jim Davies (computer scientist)|Jim Davies]] at the [[Oxford University Computing Laboratory]] and the new edition is available for download as a PDF file at the [http://www.usingcsp.com/ ''Using CSP''] website.
* {{cite book |first=A. W. |last=Roscoe |author-link=Bill Roscoe |title=The Theory and Practice of Concurrency |publisher=[[Prentice Hall]] |isbn=978-0-13-674409-2 |date=1997 |url-access=registration |url= https://archive.org/details/theorypracticeof00rosc}}
** Some links relating to this book are available [http://web.comlab.ox.ac.uk/oucl/publications/books/concurrency/ here]. The full text is available for download as a [http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.ps PS] or [http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.pdf PDF] file from Bill Roscoe's [http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/pubs.html list] of academic publications.