Módulos de conversiónrealización del esquema CSP en modula-2 con tolerancia a fallos

  1. MORALES FERNANDEZ, RAFAEL

Universidad de defensa: Universidad Politécnica de Madrid

Año de defensa: 1988

Tribunal:
  1. Pedro de Miguel Anasagasti Presidente/a
  2. José Luis Morant Ramón Secretario/a
  3. José Antonio Cerrada Somolinos Vocal
  4. Antonio Valle Bracero Vocal
  5. David de Frutos Escrig Vocal

Tipo: Tesis

Teseo: 20222 DIALNET

Resumen

Se presenta una aproximación original a la mecanización de conversaciones. Estas son consideradas como un mecanismo de alto nivel, y están basadas en el esquema C.S.P y en las FT-acciones. Además las conversaciones están soportadas puede contemplarse en el entorno del desarrollo orientado a objetos de sistemas distribuidos. Se ha desarrollado una extensión del lenguaje modula-2 que permite el uso de estas conversaciones en programas distribuidos.