TY  - THES
AU  - Romero Hernández, David
A3  - Frutos Escrig, David de
PY  - 2010
UR  - https://hdl.handle.net/20.500.14352/46272
AB  - El trabajo más importante de catalogación y clasificación de las semánticas de procesos fue llevado a cabo por R. J. van Glabbeek. En su artículo titulado "Linear time-branching time spectrum", recopiló las principales semánticas, estableciendo una...
LA  - spa
KW  - Semántica de procesos
KW  - Caracterizaciones lógicas
KW  - Bisimulación
KW  - Semánticas de simulación
KW  - Linear-time-branching-time spectrumProcess Semantics
KW  - Logical Characterizations
KW  - Bisimulation
KW  - Simulation semantics.
TI  - Caracterizaciones lógicas uniformes de las semánticas de procesos
M3  - master thesis
ER  -