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. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1016/j.entcs.2005.10.033 | Electronic Notes in Theoretical Computer Science |
Keywords | DocType | Volume |
bisimulations,processes,special case,transition systems,general framework,extended example,greatest state-metric corresponds,action-labelled quantitative transition,natural extension,single state-metric corresponds,processes.,quantitative transition system,metrics,quantitative analysis,action-labelled quantitative transition system,quantitative,non-quantitative system | Journal | 153 |
Issue | ISSN | Citations |
2 | Electronic Notes in Theoretical Computer Science | 38 |
PageRank | References | Authors |
1.26 | 19 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yuxin Deng | 1 | 413 | 30.41 |
Tom Chothia | 2 | 441 | 29.82 |
Catuscia Palamidessi | 3 | 2876 | 184.08 |
Jun Pang | 4 | 521 | 30.59 |