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

  1. MORALES FERNANDEZ, RAFAEL

Defentsa unibertsitatea: Universidad Politécnica de Madrid

Defentsa urtea: 1988

Epaimahaia:
  1. Pedro de Miguel Anasagasti Presidentea
  2. José Luis Morant Ramón Idazkaria
  3. José Antonio Cerrada Somolinos Kidea
  4. Antonio Valle Bracero Kidea
  5. David de Frutos Escrig Kidea

Mota: Tesia

Teseo: 20222 DIALNET

Laburpena

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.