@article(AFS09,
 author       = {Luca de Alfaro and Marco Faella and Mari{\"{e}}lle Stoelinga},
 year         = {2009},
 title        = {Linear and Branching System Metrics},
 journal      = {{IEEE} Trans.~Software Eng.},
 volume       = {35},
 number       = {2},
 pages        = {258--273},
 doi          = {$10.1109$/TSE.$2008.106$},
)
@article(AMRS08,
 author       = {Luca de Alfaro and Rupak Majumdar and Vishwanath Raman and Mari{\"{e}}lle Stoelinga},
 year         = {2008},
 title        = {Game Refinement Relations and Metrics},
 journal      = {Logical Methods in Computer Science},
 volume       = {4},
 number       = {3},
 doi          = {$10.2168/$LMCS-$4(3:7)2008$},
)
@inproceedings(BBLM15,
 author       = {Giorgio Bacci and Giovanni Bacci and Kim G. Larsen and Radu Mardare},
 year         = {2015},
 title        = {Converging from Branching to Linear Metrics on Markov Chains},
 booktitle    = {Proceedings of {ICTAC} 2015},
 pages        = {349--367},
 doi          = {$10.1007$/$978$-$3$-$319$-$25150$-$9\_21$},
)
@article(BdNL14,
 author       = {Marco Bernardo and {De Nicola}, Rocco and Michele Loreti},
 year         = {2014},
 title        = {Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes},
 journal      = {Logical Methods in Computer Science},
 volume       = {10},
 number       = {1},
 doi          = {$10.2168$/LMCS-$10(1:16)2014$},
)
@article(BFvG04,
 author       = {Bard Bloom and Wan J. Fokkink and Robert J. van Glabbeek},
 year         = {2004},
 title        = {Precongruence formats for decorated trace semantics},
 journal      = {{ACM} Trans.~Comput.~Log.},
 volume       = {5},
 number       = {1},
 pages        = {26--78},
 doi          = {$10.1145/963927.963929$},
)
@inproceedings(B05,
 author       = {Franck van Breugel},
 year         = {2005},
 title        = {A Behavioural Pseudometric for Metric Labelled Transition Systems},
 booktitle    = {Proceedings of {CONCUR} 2005},
 pages        = {141--155},
 doi          = {$10.1007/11539452\_14$},
)
@inproceedings(BW01a,
 author       = {Franck van Breugel and James Worrell},
 year         = {2001},
 title        = {Towards Quantitative Verification of Probabilistic Transition Systems},
 booktitle    = {Proceedings of {ICALP}},
 pages        = {421--432},
 doi          = {$10.1007/3$-$540$-$48224$-$5\_35$},
)
@article(BW05,
 author       = {Franck van Breugel and James Worrell},
 year         = {2005},
 title        = {A behavioural pseudometric for probabilistic transition systems},
 journal      = {Theor.~Comput.~Sci.},
 volume       = {331},
 number       = {1},
 pages        = {115--142},
 doi          = {$10.1016/$j.tcs.$2004.09.035$},
)
@inproceedings(CGT16a,
 author       = {Valentina Castiglioni and Daniel Gebler and Simone Tini},
 year         = {2016},
 title        = {Logical Characterization of Bisimulation Metrics},
 booktitle    = {Proceedings of {QAPL} 2016},
 series       = {EPTCS},
 volume       = {227},
 pages        = {44--62},
 doi          = {$10.4204$/EPTCS.$227.4$},
)
@inproceedings(CGT16b,
 author       = {Valentina Castiglioni and Daniel Gebler and Simone Tini},
 year         = {2016},
 title        = {Modal Decomposition on Nondeterministic Probabilistic Processes},
 booktitle    = {Proc.~{CONCUR} 2016},
 series       = {LIPIcs},
 volume       = {59},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {36:1--36:15},
 doi          = {$10.4230/$LIPIcs.CONCUR.$2016.36$},
)
@inproceedings(DHKP16,
 author       = {Przemyslaw Daca and Thomas A. Henzinger and Kret{\'{\i}}nsk{\'{y}}, Jan and Tatjana Petrov},
 year         = {2016},
 title        = {Linear Distances between Markov Chains},
 booktitle    = {Proceedings of {CONCUR} 2016},
 pages        = {20:1--20:15},
 doi          = {$10.4230$/LIPIcs.CONCUR.$2016.20$},
)
@article(DCPP06,
 author       = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang},
 year         = {2006},
 title        = {Metrics for Action-labelled Quantitative Transition Systems},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {153},
 number       = {2},
 pages        = {79--96},
 doi          = {$10.1016$/j.entcs.$2005.10.033$},
)
@article(DD11,
 author       = {Yuxin Deng and Wenjie Du},
 year         = {2011},
 title        = {Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation},
 journal      = {CoRR},
 volume       = {abs/1103.4577},
 url          = {http://arxiv.org/abs/1103.4577},
)
@article(DGJP04,
 author       = {Josee Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden},
 year         = {2004},
 title        = {Metrics for labelled Markov processes},
 journal      = {Theoretical Computer Science},
 volume       = {318},
 number       = {3},
 pages        = {323--354},
 doi          = {$10.1016$/j.tcs.$2003.09.013$},
)
@inproceedings(DJGP02,
 author       = {Jos\'ee Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden},
 year         = {2002},
 title        = {The Metric Analogue of Weak Bisimulation for Probabilistic Processes},
 booktitle    = {Proc.~{LICS} 2002},
 pages        = {413--422},
 doi          = {$10.1109/$LICS.$2002.1029849$},
)
@inproceedings(DDG16,
 author       = {Wenjie Du and Yuxin Deng and Daniel Gebler},
 year         = {2016},
 title        = {Behavioural Pseudometrics for Nondeterministic Probabilistic Systems},
 booktitle    = {Proceedings of {SETTA} 2016},
 pages        = {67--84},
 doi          = {$10.1007/978$-$3$-$319$-$47677$-$3\_5$},
)
@inproceedings(GT15,
 author       = {Daniel Gebler and Simone Tini},
 year         = {2015},
 title        = {{SOS} Specifications of Probabilistic Systems by Uniformly Continuous Operators},
 booktitle    = {Proc.~{CONCUR} 2015},
 pages        = {155--168},
 doi          = {$10.4230/$LIPIcs.CONCUR.$2015.155$},
)
@inproceedings(GJS90,
 author       = {Alessandro Giacalone and Chi-Chang Jou and Scott A. Smolka},
 year         = {1990},
 title        = {Algebraic Reasoning for Probabilistic Concurrent Systems},
 booktitle    = {Proc.~{IFIP} Work, Conf.~on Programming, Concepts and Methods},
 pages        = {443--458},
)
@article(HJ94,
 author       = {Hans Hansson and Bengt Jonsson},
 year         = {1994},
 title        = {A logic for reasoning about time and reliability},
 journal      = {Formal Aspects of Computing},
 volume       = {6},
 number       = {5},
 pages        = {512--535},
 doi          = {$10.1007$/BF$01211866$},
)
@article(HM85,
 author       = {Matthew Hennessy and Robin Milner},
 year         = {1985},
 title        = {Algebraic laws for nondeterminism and concurrency},
 journal      = {J.~Assoc.~Comput.~Mach.},
 volume       = {32},
 pages        = {137--161},
 doi          = {$10.1145/2455.2460$},
)
@article(HPSWZ11,
 author       = {Holger Hermanns and Augusto Parma and Roberto Segala and Bj{\"{o}}rn Wachter and Lijun Zhang},
 year         = {2011},
 title        = {Probabilistic Logical Characterization},
 journal      = {Information and Computation},
 volume       = {209},
 number       = {2},
 pages        = {154--172},
 doi          = {$10.1016$/j.ic.$2010.11.024$},
)
@(K42,
 author       = {Leonid V. Kantorovich},
 year         = {1942},
 title        = {On the Transfer of Masses},
 note         = {Original article in Russian, translation in Management Science, $5: 1-4 (1959)$},
)
@article(K76,
 author       = {Robert M. Keller},
 year         = {1976},
 title        = {Formal Verification of Parallel Programs},
 journal      = {Commun.~{ACM}},
 volume       = {19},
 number       = {7},
 pages        = {371--384},
 doi          = {$10.1145/360248.360251$},
)
@inproceedings(KN96,
 author       = {Marta Z. Kwiatkowska and Gethin Norman},
 year         = {1996},
 title        = {Probabilistic Metric Semantics for a Simple Language with Recursion},
 booktitle    = {Proc.~{MFCS}'96},
 pages        = {419--430},
 doi          = {$10.1007/3$-$540$-$61550$-$4\_167$},
)
@inproceedings(LMP12,
 author       = {Kim G. Larsen and Radu Mardare and Prakash Panangaden},
 year         = {2012},
 title        = {Taking It to the Limit: Approximate Reasoning for Markov Processes},
 booktitle    = {Proc.~{MFCS} 2012},
 pages        = {681--692},
 doi          = {$10.1007/978$-$3$-$642$-$32589$-$2\_59$},
)
@inproceedings(PS07,
 author       = {Augusto Parma and Roberto Segala},
 year         = {2007},
 title        = {Logical Characterizations of Bisimulations for Discrete Probabilistic Systems},
 booktitle    = {Proceedings of {F}o{SS}a{CS} 2007},
 pages        = {287--301},
 doi          = {$10.1007/978$-$3$-$540$-$71389$-$0\_21$},
)
@inproceedings(S95tr,
 author       = {Roberto Segala},
 year         = {1995},
 title        = {A Compositional Trace-Based Semantics for Probabilistic Automata},
 booktitle    = {Proceedings of {CONCUR} '95},
 pages        = {234--248},
 doi          = {$10.1007$/$3$-$540$-$60218$-$6$\_$17$},
)
@phdthesis(S95,
 author       = {Roberto Segala},
 year         = {1995},
 title        = {Modeling and Verification of Randomized Distributed Real-Time Systems},
 school       = {MIT},
 url          = {http://hdl.handle.net/1721.1/36560},
)
@inproceedings(SDC07,
 author       = {Lin Song and Yuxin Deng and Xiaojuan Cai},
 year         = {2007},
 title        = {Towards Automatic Measurement of Probabilistic Processes},
 booktitle    = {Proceedings of {QSIC} 2007},
 pages        = {50--59},
 doi          = {$10.1109$/QSIC.$2007.65$},
)
@book(Ste94,
 author       = {William J. Stewart},
 year         = {1994},
 title        = {Introduction to the Numerical Solution of {M}arkov Chains},
 publisher    = {Princeton University Press},
)