Skip to Main content Skip to Navigation
Conference papers

Trace and Testing Metrics on Nondeterministic Probabilistic Processes

Valentina Castiglioni 1
1 COMETE - Concurrency, Mobility and Transactions
Inria Saclay - Ile de France, LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
Abstract : The combination of \emph{nondeterminism and probability} in concurrent systems lead to the development of several interpretations of process behavior. If we restrict our attention to linear properties only, we can identify three main approaches to \emph{trace} and \emph{testing} semantics: the \emph{trace distributions}, the \emph{trace-by-trace} and the \emph{extremal probabilities} approaches. In this paper, we propose novel notions of \emph{behavioral metrics} that are based on the three classic approaches above, and that can be used to measure the disparities in the linear behavior of processes wrt.\ trace and testing semantics. We study the properties of these metrics, like \emph{non-expansiveness}, and we compare their expressive powers.
Document type :
Conference papers
Complete list of metadata
Contributor : Valentina Castiglioni <>
Submitted on : Sunday, December 30, 2018 - 9:49:53 AM
Last modification on : Friday, April 30, 2021 - 10:04:18 AM

Links full text




Valentina Castiglioni. Trace and Testing Metrics on Nondeterministic Probabilistic Processes. Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics and 15th Workshop on Structural Operational Semantics, (EXPRESS/SOS) 2018, Sep 2018, Beijing, China. pp.19-36, ⟨10.4204/EPTCS.276.4⟩. ⟨hal-01966950⟩



Record views