Contextual Behavioural Metrics - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2023

Contextual Behavioural Metrics

Résumé

We introduce contextual behavioural metrics (CBMs) as a novel way of measuring the discrepancy in behaviour between processes, taking into account both quantitative aspects and contextual information. This way, process distances by construction take the environment into account: two (non-equivalent) processes may still exhibit very similar behaviour in some contexts, e.g., when certain actions are never performed. We first show how CBMs capture many well-known notions of equivalence and metric, including Larsen’s environmental parametrized bisimulation. We then study compositional properties of CBMs with respect to some common process algebraic operators, namely prefixing, restriction, non-deterministic sum, parallel composition and replication.
Fichier principal
Vignette du fichier
concur2023.pdf (1.03 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04356984 , version 1 (20-12-2023)

Licence

Identifiants

Citer

Ugo Dal Lago, Maurizio Murgia. Contextual Behavioural Metrics. CONCUR 2023 - 34th International Conference on Concurrency Theory, Sep 2023, Antwerp, Belgium. ⟨10.4230/LIPIcs.CONCUR.2023.38⟩. ⟨hal-04356984⟩
26 Consultations
17 Téléchargements

Altmetric

Partager

More