Logical Characterization of Bisimulation Metrics
Bisimulation metrics provide a robust and accurate approach to study the behavior of nondeterministic probabilistic processes. In this paper, we propose a logical characterization of bisimulation metrics based on a simple probabilistic variant of the Hennessy-Milner logic. Our approach is based on t...
Saved in:
| Published in: | Electronic proceedings in theoretical computer science Vol. 227; no. Proc. QAPL 2016; pp. 44 - 62 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Open Publishing Association
25.10.2016
|
| ISSN: | 2075-2180, 2075-2180 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!