Read atomic transactions with prevention of lost updates: ROLA and its formal analysis
Crossref DOI link: https://doi.org/10.1007/s00165-019-00489-w
Published Print: 2019-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Liu, Si
Ölveczky, Peter Csaba
Wang, Qi
Gupta, Indranil
Meseguer, José
Text and Data Mining valid from 2019-11-01
Version of Record valid from 2019-11-01
Article History
Received: 30 September 2018
Accepted: 12 July 2019
First Online: 2 August 2019