Metrics for Action-labelled Quantitative Transition Systems

Yuxin Deng 1 Tom Chothia 2 Catuscia Palamidessi 3 Jun Pang 3
1 PPS - Preuves, Programmes et Systèmes
2 LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau]
3 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
Abstract : This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural extension of bisimulation from non-quantitative systems to quantitative ones. We then prove that any single state-metric corresponds to a bisimulation and that the greatest state-metric corresponds to bisimilarity. Furthermore, we provide two extended examples which show that our results apply to both probabilistic and weighted automata as special cases of action-labelled quantitative transition systems.
Type de document :
Communication dans un congrès
Antonio Cerone and Herbert Wiklicky. Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. Elsevier, 153 (2), pp.79-96, 2006, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2005.10.033〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00201087
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 23 décembre 2007 - 12:27:13
Dernière modification le : vendredi 4 janvier 2019 - 17:32:58
Document(s) archivé(s) le : mardi 13 avril 2010 - 15:25:29

Fichier

gts.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | LIX | PPS | X-LIX | X | PARISTECH | USPC | X-DEP-INFO

Citation

Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang. Metrics for Action-labelled Quantitative Transition Systems. Antonio Cerone and Herbert Wiklicky. Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005), Apr 2005, Edinburgh, United Kingdom. Elsevier, 153 (2), pp.79-96, 2006, Electronic Notes in Theoretical Computer Science. 〈10.1016/j.entcs.2005.10.033〉. 〈inria-00201087〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

608

Téléchargements de fichiers

208

Contact


archive-ouverte@inria.fr