- Specification's authors: Giuliano Losa
- Original paper: Losa, Giuliano. Modularity in the design of robust distributed algorithms. Diss. Ph. D. thesis, Ecole Polytechnique Federale de Lausanne, 2014.
- Extended modules: FinSet, Nat, Seq
- Computation models: crashes, lost messages
- Some properties checked with TLC: correctness, refinement mapping
- Only PDF files