The NEO Protocol for Large-Scale Distributed Database Systems: Modelling and Initial Verification
Keyword(s):
Keyword(s):
Keyword(s):
2010 ◽
Vol 2
(4)
◽
pp. 86-105
◽
2005 ◽
pp. 33-42
◽
Keyword(s):
2014 ◽
Vol 13
(9)
◽
pp. 4859-4867
2014 ◽
Vol 7
(12)
◽
pp. 1219-1230
◽