Viktor Kuncak, Dejan Kostic, Maysam Yabandeh, Nikola Knezevic
We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...
Association for Computing Machinery2010