Verifying strong eventual consistency in distributed systems
2017 ◽
Vol 1
(OOPSLA)
◽
pp. 1-28
◽
Keyword(s):
2000 ◽
Keyword(s):
1985 ◽
Vol 132
(3)
◽
pp. 89
◽
Keyword(s):
Keyword(s):
Keyword(s):