Translating between models of concurrency
Crossref DOI link: https://doi.org/10.1007/s00236-020-00372-9
Published Online: 2020-05-06
Published Print: 2020-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Mestel, David
Roscoe, A. W. https://orcid.org/0000-0001-7557-3901
Funding for this research was provided by:
University of Oxford
Text and Data Mining valid from 2020-05-06
Version of Record valid from 2020-05-06
Article History
Received: 22 April 2019
Accepted: 3 February 2020
First Online: 6 May 2020