Characterizing and detecting the set of global states seen by all observers of a distributed computation
2020 ◽
Vol 68
(9)
◽
pp. 5273-5282
◽
Keyword(s):
2000 ◽
Vol 23
(6)
◽
pp. 995-996
◽
Keyword(s):
Keyword(s):