TY  - THES
AU  - Llana Díaz, Luis Fernando
A3  - Frutos Escrig, David de
PY  - 2002
DO  - b21683724
SN  - 978-84-669-0703-3
UR  - https://hdl.handle.net/20.500.14352/63393
AB  - en el presente trabajo hemos estudiado la semántica de pruebas para alebras de procesos temporizadas. En primer lugar hemos estudiado un álgebra de procesos temporizada básica, se trata de un lenguaje recursivo, secuencial no determinista. Puesto que...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Informática
TI  - Jugando con el tiempo : semántica de pruebas para algebras de procesos temporizadas
M3  - doctoral thesis
ER  -