We investigate the compositionality of both weak bisimilarity metric and weak similarity quasimetric semantics with respect to a variety of standard operators, in the context of probabilistic process algebra. We show how compositionality with respect to nondeterministic and probabilistic choice requires to resort to rooted semantics. As a main application, we demonstrate how our results can be successfully used to conduct compositional reasonings to estimate the performances of group key update protocols in a multicast setting.
Compositional weak metrics for group key update
MERRO, Massimo
;
2017-01-01
Abstract
We investigate the compositionality of both weak bisimilarity metric and weak similarity quasimetric semantics with respect to a variety of standard operators, in the context of probabilistic process algebra. We show how compositionality with respect to nondeterministic and probabilistic choice requires to resort to rooted semantics. As a main application, we demonstrate how our results can be successfully used to conduct compositional reasonings to estimate the performances of group key update protocols in a multicast setting.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
LIPIcs-MFCS-2017-72-1.pdf
accesso aperto
Descrizione: Articolo definitivo.
Tipologia:
Versione dell'editore
Licenza:
Creative commons
Dimensione
898.5 kB
Formato
Adobe PDF
|
898.5 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.