Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi

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