Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi [chapter]

Jos C.M. Baeten, Davide Sangiorgi
2014 Handbook of the History of Logic  
doi:10.1016/b978-0-444-51624-4.50009-5 fatcat:o4fvjxxppvf2pkpjkcpj3erfym