Verificación formal de un modelo concurrente para un protocolo de coherencia

• Manuel Barrio Solórzano ^[1] ; M. Encarnación Beato Gutiérrez ^[2] ; Pablo de la Fuente Redondo ^[1]
  1. [1] Universidad de Valladolid

     Universidad de Valladolid

     Valladolid, España

     
  2. [2] Universidad Pontificia de Salamanca

     Universidad Pontificia de Salamanca

     Salamanca, España

     
• Localización: VII Jornadas de Concurrencia: Actas de las séptimas Jornadas de Concurrencia, Gandía, junio de 1999 / coord. por Josep M. Bernabeu Aubán , Pietro Manzoni , Jordi Bataller Mascarell , Vicente Cholvi Juan , Pablo Galdámez Saiz , Francesc Daniel Muñoz Escoí , 1999, págs. 41-52
• Idioma: español
• Texto completo no disponible (Saber más ...)