Distributed systems are difficult to debug and understand. A key reason for this is distributed state, which is not easily accessible and must be pieced together from the states of the individual nodes in the system.
BibTeX
@inproceedings{Grant-al:ICSE18,
author = {Stewart Grant and
Hendrik Cech and
Ivan Beschastnikh},
title = {Inferring and asserting distributed system invariants},
booktitle = {ICSE},
pages = {1149--1159},
publisher = {{ACM}},
year = {2018},
}
