Información del autor
Documentos disponibles escritos por este autor (2)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
texto impreso
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 pro[...]
