Formal Techniques for Distributed Systems | lit.salon