Contextual Behavioural Metrics - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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

Paternité

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⟩
16 Consultations
7 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More