Discovering and correcting a deadlock in a channel implementation
Crossref DOI link: https://doi.org/10.1007/s00165-019-00487-y
Published Print: 2019-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Lowe, Gavin
Text and Data Mining valid from 2019-08-01
Version of Record valid from 2019-07-15
Article History
Received: 31 August 2018
Accepted: 26 June 2019
First Online: 15 July 2019