Programacio paral.lela usant esquemes. vers un metode sistematic de construccions de programes concurrents.
Tesis doctoral de Alberto Llamosi Casas Datos académicos de la tesis doctoral «Programacio paral.lela usant esquemes. vers un metode […]
Tesis doctoral de Alberto Llamosi Casas
Información academica Alberto Llamosi Casas. Tesis donde Alberto Llamosi Casas ha sido autor, director o parte del tribunal.
Arquitectura y algoritmos para sistemas transaccionales distribuidos con grupos de procesos
Tesis doctoral de Ricardo Jimenez Peris La popularización de internet ha extendido el uso de los sistemas distribuidos. por otro
Semanticas de pruebas para algebras de procesos probabilisticos.
Tesis doctoral de Manuel Nuñez Garcia En esta tesis presentamos un algebra de procesos que ha sido extendida con informacion
Csp probabilistico: un modelo probabilistico de procesos concurrentes.
Tesis doctoral de Fernando Cuartero Gomez Datos académicos de la tesis doctoral «Csp probabilistico: un modelo probabilistico de procesos
Soporte grafico para la descripcion arquitectonica de sistemas
Tesis doctoral de Jesús Sanchez Allende La contribucion de la presente tesis consiste en la definicion de un lenguaje grafico