Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)
2019 ◽
Vol 3
(OOPSLA)
◽
pp. 1-29
◽
2018 ◽
Vol 111
◽
pp. 162-173
◽