Herbert Wiklicky

Coordination models and languages
Formal Methods for Quantitative Aspects of Programming Languages