InsubriaSPACE - Thesis PhD Repository >
Insubria Thesis Repository >
01 - Tesi di dottorato >
Please use this identifier to cite or link to this item:
|Authors: ||Castiglioni, Valentina|
|Internal Tutor: ||TINI, SIMONE|
|Title: ||Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes|
|Abstract: ||In this thesis we focus on processes with nondeterminism and probability in the PTS model, and we propose novel techniques to study their semantics, in terms of both classic behavioral relations and the more recent behavioral metrics.
Firstly, we propose a method for decomposing modal formulae in a probabilistic extension of the Hennessy-Milner logic. This decomposition method allows us to derive the compositional properties of probabilistic (bi)simulations.
Then, we propose original notions of metrics measuring the disparities in the behavior of processes with respect to (decorated) trace and testing semantics.
To capture the differences in the expressive power of the metrics we order them by the relation `makes processes further than'.
Thus, we obtain the first spectrum of behavioral metrics on the PTS model.
From this spectrum we derive an analogous one for the kernels of the metrics, ordered by the relation `makes strictly less identification than'.
Finally, we introduce a novel technique for the logical characterization of both behavioral metrics and their kernels, based on the notions of mimicking formula and distance on formulae.
This kind of characterization allows us to obtain the first example of a spectrum of distances on processes obtained directly from logics.
Moreover, we show that the kernels of the metrics can be characterized by simply comparing the mimicking formulae of processes.|
|Keywords: ||Behavioral metrics, SOS, nondeterministic probabiolistic processes, logical characterization, modal decomposition, quantitative spectrum|
|Subject MIUR : ||INF/01 INFORMATICA|
|Issue Date: ||2017|
|Doctoral course: ||Informatica e matematica del calcolo|
|Academic cycle: ||30|
|Publisher: ||Università degli Studi dell'Insubria|
|Citation: ||Castiglioni, V.Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes (Doctoral Thesis, Università degli Studi dell'Insubria, 2017).|
Files in This Item:
|PhD_Thesis_CastiglioniValentina_completa.pdf||testo completo tesi||2,39 MB||Adobe PDF||View/Open
This item is licensed under a Creative Commons License
Items in InsubriaSPACE are protected by copyright, with all rights reserved, unless otherwise indicated.