20 Dec 2017 [ journal (ENTCS) · arxiv ]
A systematic account of various metrics on probability distributions (states) and on predicates.