Logical Characterization of Trace Metrics
In this paper we continue our research line on logical characterizations of behavioral metrics obtained from the definition of a metric over the set of logical properties of interest. This time we provide a characterization of both strong and weak trace metric on nondeterministic probabilistic proce...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Open Publishing Association
2017-07-01
|
| Schriftenreihe: | Electronic Proceedings in Theoretical Computer Science |
| Online-Zugang: | http://arxiv.org/pdf/1707.04124v1 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|