Formal Methods for Distributed Processing | lit.salon