Formal Methods for Quantitative Aspects of Programming LanguagesAlessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky · First published 2010Open the Tome
Coordination models and languagesPaolo Ciancarini, Herbert Wiklicky · First published 2006Open the Tome
