Effective Verification of Replicated Data Types Using Later Appearance Records (LAR)

Author(s):  
Madhavan Mukund ◽  
Gautham Shenoy R. ◽  
S. P. Suresh
Keyword(s):  
2019 ◽  
Vol 3 (OOPSLA) ◽  
pp. 1-29 ◽  
Author(s):  
Gowtham Kaki ◽  
Swarn Priya ◽  
KC Sivaramakrishnan ◽  
Suresh Jagannathan
Keyword(s):  

2018 ◽  
Vol 111 ◽  
pp. 162-173 ◽  
Author(s):  
Paulo Sérgio Almeida ◽  
Ali Shoker ◽  
Carlos Baquero
Keyword(s):  

Author(s):  
Iwan Briquemont ◽  
Manuel Bravo ◽  
Zhongmiao Li ◽  
Peter Van Roy
Keyword(s):  

Author(s):  
Sebastian Burckhardt ◽  
Alexey Gotsman ◽  
Hongseok Yang ◽  
Marek Zawirski
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document