Developing correctly replicated databases using formal tools
N Schiper, V Rahli, R Van Renesse… - 2014 44th Annual …, 2014 - ieeexplore.ieee.org
Fault-tolerant distributed systems often contain complex error handling code. Such code is
hard to test or model-check because there are often too many possible failure scenarios to …
hard to test or model-check because there are often too many possible failure scenarios to …
DISTAL: Domain-specific Language for Implementing Distributed Algorithms
P Delgado - 2012 - infoscience.epfl.ch
Distributed algorithms research focuses on interactions and communication between
independent systems and processors in diverse scenarios. These algorithms are usually …
independent systems and processors in diverse scenarios. These algorithms are usually …