Universidad Complutense de Madrid
E-Prints Complutense

Más sobre equivalencias lógicas y distancias entre procesos
Revisiting logical semantics for processes and their distances

Impacto

Downloads

Downloads per month over past year



Romero Hernández, David (2016) Más sobre equivalencias lógicas y distancias entre procesos. [Thesis]

[img]
Preview
PDF
18MB


Abstract

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 de estas relaciones, y vemos después cómo podemos extender nuestros resultados al resto de las semánticas de procesos estudiadas durante las últimas décadas. En particular, nuestra contribución a la comunidad científica, se centra en dos puntos principales: – El desarrollo de una caracterización lógica uniforme de las semánticas de procesos: proponemos un esquema lógico común (enmarcado en la conocida lógica modal de Hennessy-Milner) e incluimos las diferentes semánticas en este esquema, enfatizando las diferencias y similitudes entre ellas, que se presentan del modo más claro posible. – La presentación de una nueva noción de distancia, tanto entre procesos finitos como infinitos: la misma se diferencia de las anteriormente propuestas en su carácter global, que acumula las diferencias que aportan los distintos cómputos, en lugar de quedarnos con la máxima de ellas...

Resumen (otros idiomas)

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 the obtained results to the rest of the semantics developed along the last years. In particular, our main contributions can be roughly described by the following two items: – The development of a unified logical characterization of process semantics: we propose a common logical scheme (within the framework of the well known Hennessy-Milner Logic) and we set the different semantics in this scheme by emphasizing, in the clearest possible way, the (dis)similarities between them. – We present a new notion of distance for both finite and infinite processes. This novel notion differs from the previously available ones in its global character: instead of taking the maximum disagreement between the two compared processes, it adds all the differences provided by their whole sets of computations...

Item Type:Thesis
Additional Information:

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 2-02-2016

Directors:
DirectorsDirector email
Frutos Escrig, David de
Uncontrolled Keywords:Lógica simbólica y matemática, modalidad (Lógica)
Palabras clave (otros idiomas):Logic, symbolic and mathematical, modality (logic)
Subjects:Sciences > Mathematics > Logic, Symbolic and mathematical
ID Code:38359
Deposited On:01 Jul 2016 07:59
Last Modified:01 Jul 2016 07:59

Origin of downloads

Repository Staff Only: item control page