Implementing CCS in Maude

• Autores: Narciso Martí Oliet , José Alberto Verdejo López
• Localización: Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 81-96
• Idioma: inglés
• Texto completo no disponible (Saber más ...)