Kozen, Dexter4; Mardare, Radu Iulian2; Panangaden, Prakash4
1 Distributed Systems and Semantics, The Faculty of Engineering and Science (ENG), Aalborg University, VBN2 Department of Computer Science, The Faculty of Engineering and Science (ENG), Aalborg University, VBN3 The Faculty of Engineering and Science (TECH), Aalborg University, VBN4 unknown
We extend our previous duality theorem for Markov processes by equipping the processes with a pseudometric and the algebras with a notion of metric diameter. We are able to show that the isomorphisms of our previous duality theorem become isometries in this quantitative setting. This opens the way to developing theories of approximate reasoning for probabilistic systems.
Electronic Notes in Theoretical Computer Science, 2014, p. 211-227
Main Research Area:
Mathematical Foundations of Programming SemanticsMathematical Foundations of Programming Semantics, 2014