Hierarchical decomposition of formal equivalence proofs of distributed systems

• Autores: Miquel Bertran, Francesc Babot, August Climent i Ferrer
• Localización: Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004, 2004, ISBN 84-9772-320-1, págs. 323-338
• Idioma: inglés
• Texto completo no disponible (Saber más ...)