Módulos de conversiónrealización del esquema CSP en modula-2 con tolerancia a fallos
- MORALES FERNANDEZ, RAFAEL
Universidade de defensa: Universidad Politécnica de Madrid
Ano de defensa: 1988
- Pedro de Miguel Anasagasti Presidente/a
- José Luis Morant Ramón Secretario/a
- José Antonio Cerrada Somolinos Vogal
- Antonio Valle Bracero Vogal
- David de Frutos Escrig Vogal
Tipo: Tese
Resumo
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.