Tese doutoral

  1. En busca del tiempo perdido 1990

    Universidad Complutense de Madrid

Teses dirixidas (2)

  1. Sobre la equivalencia entre semánticas operacionales y denotacionales para lenguajes funcionales paralelos 2015

    Universidad Complutense de Madrid

    Sánchez Gil, Lidia

  2. Semánticas formales para un lenguaje funcional paralelo 2004

    Universidad Complutense de Madrid

    Hidalgo Herrero, Mercedes

Tribunais de teses (8)

  1. Secretaria do tribunal

    Composición en lógica de reescritura 2021

    Universidad Complutense de Madrid

    Martín Sánchez, Óscar

  2. Presidenta do tribunal

    Diseño y formalización de lenguajes de consultas inspirados en ópticas 2020

    Universidad Rey Juan Carlos

    LÓPEZ GONZÁLEZ, JESÚS

  3. Secretaria do tribunal

    Más sobre equivalencias lógicas y distancias entre procesos 2016

    Universidad Complutense de Madrid

    ROMERO HERNÁNDEZ, DAVID

  4. Secretaria do tribunal

    Maude como marco semántico ejecutable 2003

    Universidad Complutense de Madrid

    Verdejo López, José Alberto

  5. Secretaria do tribunal

    Tpbc: un cálculo sobre redes de Petri con tiempo 2003

    Universidad Complutense de Madrid

    MARROQUÍN ALONSO, OLGA

  6. Secretaria do tribunal

    Programación funcional paralela eficiente en eden 2001

    Universidad Complutense de Madrid

    Rubio Díez, Fernando

  7. Secretaria do tribunal

    Jugando con el tiempo: semántica de pruebas para álgebras de procesos temporizadas 1996

    Universidad Complutense de Madrid

    Llana, L. F.

  8. Vogal do tribunal

    Contribución a la formalización de la fase de ejecución de pruebas 1995

    Universidad Politécnica de Madrid

    Huecas Fernández-Toribio, Gabriel Isidoro