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
We present a study of the notion of coalgebraic simulation introduced by Hughes and Jacobs. Although in their original paper they allow any functorial order in their definition of coalgebraic simulation, for the simulation relations to have good[...]texto impreso
De un modo general, esta tesis puede englobarse dentro del estudio de los sistemas de procesos y, muy especialmente, del estudio de las relaciones entre esos procesos mediante bisimulación y simulación (abreviadamente (bi)simulación). Además, lo[...]
