Proving correctness of shared memory implementations

• Autores: Josep M. Bernabeu Aubán , Jordi Bataller
• Localización: VI Jornadas de Concurrencia, 1998, págs. 83-94
• Idioma: inglés
• Texto completo no disponible (Saber más ...)