Models and analysis in distributed systems | lit.salon