David de Frutos Escrig

• Artículos de revistas (1)
• Colaboraciones en obras colectivas (6)
• Libros (1)
• Tesis (1)
• Tesis dirigidas (10)

• Artículos de revistas

  • Seleccionado

    Alan Turing: una aproximación personal a su obra

    David de Frutos Escrig

    Gaceta de la Real Sociedad Matematica Española, ISSN 1138-8927, Vol. 15, Nº 4, 2012, págs. 675-696

    

• Colaboraciones en obras colectivas

  • Seleccionado

    Time-outs and delays in TPBC

    Olga Marroquín Alonso, David de Frutos Escrig

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004, 2004, ISBN 84-9772-320-1, págs. 199-212

    
  • Seleccionado

    Ambient Petri nets

    David de Frutos Escrig, Olga Marroquín Alonso

    Actas de las XII Jornadas de Concurrencia y Sistemas Distribuidos: Las Navas del Marqués (Ávila), 9 al 11 de junio de 2004, 2004, ISBN 84-9772-320-1, págs. 229-248

    
  • Seleccionado

    Urgency in TPBC

    Olga Marroquín Alonso, David de Frutos Escrig

    III Jornadas de Programación y Lenguajes (PROLE'03): Actas, Alicante, del 12 al 14 de noviembre de 2003 / coord. por Juan José Moreno Navarro , Manuel Palomar Sanz , 2003, ISBN MU-2299-2003, pág. 215

    
  • Seleccionado

    Decidability of properties of timed-arc Petri nets

    David de Frutos Escrig, Olga Marroquín Alonso, Valentín Valero Ruiz

    Actas de las VIII Jornadas de Concurrencia: Cuenca, 14 a 16 de junio de 2000 / coord. por Diego Cazorla López , 2000, ISBN 84-8427-074-2, págs. 13-34

    
  • Seleccionado

    Introducing friendly testing

    L. F. Llana , David de Frutos Escrig, Manuel Núñez García

    V Jornadas de Concurrencia: actas de las Quintas Jornadas de Concurrencia. Vigo, junio de 1997 / coord. por Manuel J. Fernández Iglesias , Martín Llamas Nistal , José Juan Pazos Arias , 1997, ISBN 84-8158-065-1, págs. 281-292

    
  • Seleccionado

    CSP Probabilístico (PCSP): un modelo operacional

    Fernando Cuartero Gómez , David de Frutos Escrig, Valentín Valero Ruiz

    Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 338-346

    • Resumen
    

• Libros

  • Seleccionado

    Semánticas de pruebas para álgebras de procesos probabilísticos[«h»Recurso electrónico]

    Manuel Núñez García , David de Frutos Escrig

    Universidad Complutense de Madrid. ISBN 1-4135-5979-4

    

• Tesis

  • Seleccionado

    Algunas cuestiones relacionadas con la semantica de construcciones probabilisticas

    David de Frutos Escrig

    Tesis doctoral dirigida por Klaus Indermark (dir. tes.) . Universidad Complutense de Madrid (1985).

    

• Tesis dirigidas

  • Seleccionado

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

    David Romero

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (2016).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Técnicas coalgebraicas y categóricas para el estudio de las semánticas de procesos.

    Ignacio Fábregas Alfaro

    Tesis doctoral dirigida por Miguel Palomino Tarjuelo (dir. tes.) , David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (2012).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Entendiendo las semánticas de procesos

    Carlos Gregorio Rodríguez

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (2009).

    • Resumen
    
  • Seleccionado

    Redes de Petri móviles para la especificación y verificación de propiedades de seguridad en sistemas ubicuos

    Fernando Rosa Velardo

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (2007).

    • Resumen
    
  • Seleccionado

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

    Olga Marroquín Alonso

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (2003).

    • Resumen
    
  • Seleccionado

    Semánticas de pruebas para álgebras de procesos probabilísticos

    Manuel Núñez García

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (1996).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

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

    L. F. Llana

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (1996).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Decidibilidad de problemas sobre Redes de Petri temporizadas

    Valentín Valero Ruiz

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (1993).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    Csp probabilístico: un modelo probabilístico de procesos concurrentes

    Fernando Cuartero Gómez

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (1993).

    • Resumen
    • Tesis en acceso abierto en: Docta Complutense
    
  • Seleccionado

    En busca del tiempo perdido

    Yolanda Ortega Mallén

    Tesis doctoral dirigida por David de Frutos Escrig (dir. tes.). Universidad Complutense de Madrid (1990).

    • Resumen
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.