Now showing items 1-3 of 3

  • Técnicas para la descripción formal y verificación de protocolos 

    García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1979-12)
    Article
    Open Access
    Diversos autores han propuesto técnicas para la especificación de protocolos de comunicación. En este artículo se consideran los trabajos más significativos realizados hasta la fecha en este campo. Se presentan primeramente ...
  • Un método para la especificación y validación de la estructura lógica de los protocolos de comunicación 

    García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-03)
    Article
    Open Access
    En este trabajo se presentan dos aspectos de una metodología nueva de diseño de protocolos, concretamente, los referentes a la especificación y validación de la estructura lógica de protocolos de comunicación. Para ...
  • Verificación de procesos concurrentes: un método formal y un caso de aplicación 

    García Hoffmann, Miguel (Universitat Politècnica de Barcelona. Centre de Càlcul, 1980-09)
    Article
    Open Access
    En este trabajo se propone una nueva tècnica para la verificación de programas concurrentes. Para realizar la verificación se parte de la descripción LDP de los procesos. El método requiere expresar en una relación de ...