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

  1. MORALES FERNANDEZ, RAFAEL

Universität der Verteidigung: Universidad Politécnica de Madrid

Jahr der Verteidigung: 1988

Gericht:
  1. Pedro de Miguel Anasagasti Präsident/in
  2. José Luis Morant Ramón Sekretär/in
  3. José Antonio Cerrada Somolinos Vocal
  4. Antonio Valle Bracero Vocal
  5. David de Frutos Escrig Vocal

Art: Dissertation

Teseo: 20222 DIALNET

Zusammenfassung

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.