Università degli Studi dell'Insubria Insubria Space

InsubriaSPACE - Thesis PhD Repository >
Insubria Thesis Repository >
01 - Tesi di dottorato >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10277/764

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
Issue Date: 2017
Language: eng
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:

File Description SizeFormatVisibility
PhD_Thesis_CastiglioniValentina_completa.pdftesto completo tesi2,39 MBAdobe PDFView/Open

This item is licensed under a Creative Commons License
Creative Commons

Items in InsubriaSPACE are protected by copyright, with all rights reserved, unless otherwise indicated.

Share this record




Stumble it!



  ICT Support, development & maintenance are provided by the AePIC team @ CILEA. Powered on DSpace Software.  Feedback