TY  - THES
AU  - Romero Hernández, David
A3  - Frutos Escrig, David de
PY  - 2016
UR  - https://hdl.handle.net/20.500.14352/27419
AB  - Esta tesis se enmarca en el amplio campo de la teoría de la concurrencia. Más específicamente, nos centramos en el estudio de las relaciones de similitud entre procesos concurrentes. Comenzamos estudiando la bisimulación, considerada la más importante...
AB  - This thesis can be included in the broad field of concurrency theory. More specifically, we focus on the study of the similarities between concurrent processes. We start from bisimulation, the main of these relations, and then we see how we can extend...
LA  - spa
PB  - Universidad Complutense de Madrid
KW  - Lógica simbólica y matemática
KW  - modalidad (Lógica)
KW  - Logic
KW  - symbolic and mathematical
KW  - modality (logic)
TI  - Más sobre equivalencias lógicas y distancias entre procesos
T2  - Revisiting logical semantics for processes and their distances
M3  - doctoral thesis
ER  -