| Autor: |
Caires, Luís, Italiano, Giuseppe F., Monteiro, Luís, Palamidessi, Catuscia, Yung, Moti, Breugel, Franck, Hermida, Claudio, Makkai, Michael, Worrell, James |
| Zdroj: |
Automata, Languages & Programming (9783540275800); 2005, p1018-1030, 13p |
| Abstrakt: |
Behavioural pseudometrics are a quantitative analogue of behavioural equivalences. They provide robust models for those concurrent systems in which quantitative data plays a crucial role. In this paper, we show how behavioural pseudometrics can be defined coalgebraically. Our results rely on the theory of accessible categories. We apply our results to obtain a robust model for probabilistic systems. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
