Jos C. M. Baeten, Davide Sangiorgi. Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, pages 399-442, Elsevier, 2014. [doi]
@incollection{BaetenS14, title = {Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi}, author = {Jos C. M. Baeten and Davide Sangiorgi}, year = {2014}, doi = {10.1016/B978-0-444-51624-4.50009-5}, url = {http://dx.doi.org/10.1016/B978-0-444-51624-4.50009-5}, researchr = {https://researchr.org/publication/BaetenS14}, cites = {0}, citedby = {0}, pages = {399-442}, booktitle = {Computational Logic}, editor = {Jörg H. Siekmann}, volume = {9}, series = {Handbook of the History of Logic}, publisher = {Elsevier}, isbn = {978-0-444-51624-4}, }