Editing Process calculus (section)

== Further reading ==
* [[Matthew Hennessy]]: ''Algebraic Theory of Processes'', [[The MIT Press]], {{ISBN|0-262-08171-7}}.
* [[C. A. R. Hoare]]: ''Communicating Sequential Processes'', [[Prentice Hall]], {{ISBN|0-13-153289-8}}.
** This book has been updated by Jim Davies at the [[Oxford University Computing Laboratory]] and the new edition is available for download as a [[Portable Document Format|PDF]] file at the ''[http://www.usingcsp.com/ Using CSP]'' website.
* [[Robin Milner]]: ''A Calculus of Communicating Systems'', Springer Verlag, {{ISBN|0-387-10235-3}}.
* [[Robin Milner]]: ''Communicating and Mobile Systems: the Pi-Calculus'', Springer Verlag, {{ISBN|0-521-65869-1}}.
* {{cite book |title=Formale Grundlagen der Informatik II: Modellierung und Analyse von Informatiksystemen |chapter=Chapter 5: Prozessalgebra - Parallele und kommunizierende Prozesse |volume=Part 2 |language=de |editor-first1=Rüdiger |editor-last1=Valk |editor-link1=Rüdiger Valk |editor-first2=Daniel |editor-last2=Moldt |editor-first3=Michael |editor-last3=Köhler-Bußmeier |date=2011 |work=Theoretische Grundlagen der Informatik |publisher=[[University of Hamburg]] |id=FGI2 |chapter-url=https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1011/FGI2/sec/FGI2_kap5_2(pa-parallel).pdf |access-date=2019-07-13 |url-status=live |archive-url=https://web.archive.org/web/20190709144559/https://www.informatik.uni-hamburg.de/TGI/lehre/vl/WS1011/FGI2/sec/FGI2_kap5_2(pa-parallel).pdf |archive-date=2019-07-09}}

{{Concurrent computing}}

{{DEFAULTSORT:Process Calculus}}
[[Category:Process calculi| ]]