LaDeDa: Languages for Debuggable Distributed Algorithms

   Abstract