TY - THES AU - López Barquilla, Natalia A3 - Núñez García, Manuel PY - 2004 DO - b21817091 SN - 978-84-669-1801-5 UR - https://hdl.handle.net/20.500.14352/55059 AB - En esta Tesis se ha realizado un estudio de Semánticas para Álgebras de Procesos estocásticos no Markovianos. En primer lugar se ha estudiado una extensión de la Bisimulación débil llamada "Global", con la que se pretende solucionar diversos problemas... LA - spa PB - Universidad Complutense de Madrid, Servicio de Publicaciones KW - Procesos estocásticos TI - Semánticas para álgebras de procesos estocásticos no markovianos M3 - doctoral thesis ER -