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

  1. MORALES FERNANDEZ, RAFAEL

Defence university: Universidad Politécnica de Madrid

Year of defence: 1988

Committee:
  1. Pedro de Miguel Anasagasti Chair
  2. José Luis Morant Ramón Secretary
  3. José Antonio Cerrada Somolinos Committee member
  4. Antonio Valle Bracero Committee member
  5. David de Frutos Escrig Committee member

Type: Thesis

Teseo: 20222 DIALNET

Abstract

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.