Generalised rely-guarantee concurrency: an algebraic foundation
Crossref DOI link: https://doi.org/10.1007/s00165-016-0384-0
Published Print: 2016-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hayes, Ian J. http://orcid.org/0000-0003-3649-392X
Funding for this research was provided by:
Australian Research Council (DP130102901)
Text and Data Mining valid from 2016-11-01
Version of Record valid from 2016-11-01
Article History
Received: 22 April 2014
Accepted: 17 June 2016
First Online: 29 July 2016