Formal Techniques For Distributed Systems Joint Ifip Wg 6 1 | Desertcart Ecuador