Bisimulation and Coinduction Enhancements: A Historical Perspective
Crossref DOI link: https://doi.org/10.1007/s00165-019-00497-w
Published Print: 2019-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pous, Damien
Sangiorgi, Davide
Text and Data Mining valid from 2019-12-01
Version of Record valid from 2019-12-01
Article History
Received: 5 May 2019
Accepted: 29 September 2019
First Online: 8 November 2019