David de Frutos-EscrigBooksFormal Techniques for Networked and Distributed Systems - FORTE 2004Author data: Open Library