Università degli Studi dell'Insubria Insubria Space
 

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

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10277/764

Autori: Castiglioni, Valentina
Tutor interno: TINI, SIMONE
Titolo: 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.
Parole chiave: Behavioral metrics, SOS, nondeterministic probabiolistic processes, logical characterization, modal decomposition, quantitative spectrum
MIUR : INF/01 INFORMATICA
Data: 2017
Lingua: eng
Corso di dottorato: Informatica e matematica del calcolo
Ciclo di dottorato: 30
Università di conseguimento titolo: Università degli Studi dell'Insubria
Citazione: Castiglioni, V.Probabilistic Semantics: Metric and Logical Character¨ations for Nondeterministic Probabilistic Processes (Doctoral Thesis, Università degli Studi dell'Insubria, 2017).

Full text:

File Descrizione DimensioniFormatoConsultabilità
PhD_Thesis_CastiglioniValentina_completa.pdftesto completo tesi2,39 MBAdobe PDFVisualizza/apri

Questo documento è distribuito in accordo con Licenza Creative Commons
Creative Commons


Tutti i documenti archiviati in InsubriaSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

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