TY  - THES
AU  - Núñez García, Manuel
A3  - Frutos Escrig, David de
PY  - 2002
DO  - b21680280
SN  - 978-84-669-0709-5
UR  - https://hdl.handle.net/20.500.14352/63338
AB  - En esta tesis presentamos un algebra de procesos que ha sido extendida con información probabilística. Definimos una semántica operacional para nuestro lenguaje, y a continuación definimos una semántica de pruebas parametrizadas por una cierta familia...
LA  - spa
PB  - Universidad Complutense de Madrid, Servicio de Publicaciones
KW  - Lingüística matemática
TI  - Semánticas de pruebas para álgebras de procesos probabilísticos
M3  - doctoral thesis
ER  -