Models and Analysis for Distributed Systems | lit.salon