Abstract
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.
Original language | English |
---|---|
Title of host publication | Electronic Notes in Theoretical Computer Science |
Number of pages | 17 |
Volume | 308 |
Place of Publication | 29 October 2014 |
Publisher | Elsevier |
Publication date | 2014 |
Pages | 211-227 |
DOIs | |
Publication status | Published - 2014 |
Event | Mathematical Foundations of Programming Semantics - Cornell University, Ithaca, New York, United States Duration: 12 Jun 2014 → 15 Jun 2014 Conference number: 30 |
Conference
Conference | Mathematical Foundations of Programming Semantics |
---|---|
Number | 30 |
Location | Cornell University |
Country/Territory | United States |
City | Ithaca, New York |
Period | 12/06/2014 → 15/06/2014 |