Relating trace refinement and linearizability
Crossref DOI link: https://doi.org/10.1007/s00165-017-0418-2
Published Print: 2017-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Smith, Graeme
Winter, Kirsten
Funding for this research was provided by:
Australian Research Council (DP160102457, DP130102901)
Text and Data Mining valid from 2017-11-01
Version of Record valid from 2017-11-01
Article History
Received: 25 February 2016
Accepted: 5 December 2016
First Online: 14 February 2017