TY  - THES
AU  - Fábregas Alfaro, Ignacio
A3  - Frutos Escrig, David de
A3  - Palomino Tarjuelo, Miguel
PY  - 2012
UR  - https://hdl.handle.net/20.500.14352/48372
AB  - 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 mediantebisimulación y simulación (abreviadamente (bi)simulación). Además, los...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Álgebra
KW  - Teoría de categorías
KW  - Coálgebras
KW  - Semánticas de procesos
TI  - Técnicas Coalgebraicas y  Categóricas para el estudio de las semánticas de procesos
M3  - doctoral thesis
ER  -