Comunicaciones a congresos

Año: 1993

  • Especificación y Transformación de las Propiedades de un Programa LOTOS
    Pazos Arias, J. J. & Delgado Kloos, C (1993). En III Jornadas de Telecom I+D, páginas 25-38. Madrid, Spain.
  • Síntesis de programas LOTOS a partir de la especificación de sus propiedades
    Pazos Arias, J. J. & Delgado Kloos, C (1993). En III Jornadas de Concurrencia, páginas 25-38. Gandía, Spain.

Año: 1990

  • Formalización de propiedades de procesos LOTOS con Lógica Temporal
    Delgado Kloos, C. & Pazos Arias, J. J (1990). En II Jornadas de Concurrencia. Palma de Mallorca, Spain.