Synthesis of Fault-Tolerant Concurrent Programs

• Autores: Paul C. Attie, E. Allen Emerson, Anish Arora
• Localización: ACM transactions on programming languages and systems, ISSN 0164-0925, Vol. 26, Nº 1, 2004, págs. 125-185
• Idioma: inglés
• Texto completo no disponible (Saber más ...)