Approximating and computing behavioural distances in probabilistic transition systems
In an earlier paper we presented a pseudometric on the states of a probabilistic transition system, yielding a quantitative notion of behavioural equivalence. The behavioural pseudometric was defined via the terminal coalgebra of a functor based on a metric on Borel probability measures. In the pres...
Mô tả đầy đủ
Chi tiết về thư mục
| Những tác giả chính: |
van Breugel, F,
Worrell, J |
|---|
| Định dạng: | Journal article
|
|---|
| Ngôn ngữ: | English |
|---|
| Được phát hành: |
2006
|
|---|