Herbert WiklickyBooksFormal Methods for Quantitative Aspects of Programming LanguagesCoordination models and languagesAuthor data: Open Library