Quantitative static analysis of distributed systems - PIERRO, ALESSANDRA Di; HANKIN, CHRIS; WIKLICKY, HERBERT (Journal of functional programming, 2005)