@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$},
)
@incollection(AHM03,
 author       = {Luca de Alfaro and Thomas A. Henzinger and Rupak Majumdar},
 year         = {2003},
 title        = {Discounting the {F}uture in {S}ystems {T}heory},
 booktitle    = {Proc.~ICALP'03},
 series       = {ICALP '03},
 publisher    = {Springer},
 pages        = {1022--1037},
 doi          = {$10.1007/3$-$540$-$45061$-$0\_79$},
)
@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    = {Proc.~{ICTAC} 2015},
 pages        = {349--367},
 doi          = {$10.1007/978$-$3$-$319$-$25150$-$9\_21$},
)
@inproceedings(BdNL12,
 author       = {Marco Bernardo and {De Nicola}, Rocco and Michele Loreti},
 year         = {2012},
 title        = {Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes},
 booktitle    = {Proc.~{FoSSaCS} 2012},
 pages        = {195--209},
 doi          = {$10.1007/978$-$3$-$642$-$28729$-$9\_13$},
)
@inproceedings(BdNL13,
 author       = {Marco Bernardo and {De Nicola}, Rocco and Michele Loreti},
 year         = {2013},
 title        = {The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes},
 booktitle    = {Proc.~{QAPL} 2013},
 pages        = {81--96},
 doi          = {$10.4204/$EPTCS.$117.6$},
)
@article(BdNL14bis,
 author       = {Marco Bernardo and {De Nicola}, Rocco and Michele Loreti},
 year         = {2014},
 title        = {Relating strong behavioral equivalences for processes with nondeterminism and probabilities},
 journal      = {Theor. Comput. Sci.},
 volume       = {546},
 pages        = {63--92},
 doi          = {$10.1016/$j.tcs.$2014.03.001$},
)
@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(BHR84,
 author       = {Stephen D. Brookes and C. A. R. Hoare and A. W. Roscoe},
 year         = {1984},
 title        = {A Theory of Communicating Sequential Processes},
 journal      = {J. {ACM}},
 volume       = {31},
 number       = {3},
 pages        = {560--599},
 doi          = {$10.1145/828.833$},
)
@inproceedings(CGT16a,
 author       = {Valentina Castiglioni and Daniel Gebler and Simone Tini},
 year         = {2016},
 title        = {Logical Characterization of Bisimulation Metrics},
 booktitle    = {Proc.~QAPL'16},
 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},
 pages        = {36:1--36:15},
 doi          = {$10.4230/$LIPIcs.CONCUR.$2016.36$},
)
@article(CGT18,
 author       = {Valentina Castiglioni and Daniel Gebler and Simone Tini},
 year         = {2018},
 title        = {{SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 14, Issue 2}},
 doi          = {$10.23638$/LMCS-$14(2:18)2018$},
)
@inproceedings(CT17,
 author       = {Valentina Castiglioni and Simone Tini},
 year         = {2017},
 title        = {Logical Characterization of Trace Metrics},
 booktitle    = {Proc.~QAPL@ETAPS 2017},
 series       = {{EPTCS}},
 volume       = {250},
 pages        = {39--74},
 doi          = {$10.4204/$EPTCS.$250.4$},
)
@inproceedings(DHKP16,
 author       = {Przemyslaw Daca and Thomas A. Henzinger and K{\v{r}}et{\'{\i}}nsk{\'{y}}, Jan and Tatjana Petrov},
 year         = {2016},
 title        = {Linear Distances between Markov Chains},
 booktitle    = {Proc.~{CONCUR} 2016},
 pages        = {20:1--20:15},
 doi          = {$10.4230/$LIPIcs.CONCUR.$2016.20$},
)
@article(dNH84,
 author       = {{De Nicola}, Rocco and Matthew Hennessy},
 year         = {1984},
 title        = {Testing Equivalences for Processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {34},
 pages        = {83--133},
 doi          = {$10.1016/0304$-$3975(84)90113$-$0$},
)
@article(DvGHM08,
 author       = {Yuxin Deng and Rob J. van Glabbeek and Matthew Hennessy and Carroll Morgan},
 year         = {2008},
 title        = {Characterising Testing Preorders for Finite Probabilistic Processes},
 journal      = {Logical Methods in Computer Science},
 volume       = {4},
 number       = {4},
 doi          = {10.2168/LMCS-4(4:4)2008},
)
@article(DGJP04,
 author       = {Josee Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden},
 year         = {2004},
 title        = {Metrics for labelled Markov processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {318},
 number       = {3},
 pages        = {323--354},
 doi          = {$10.1016/$j.tcs.$2003.09.013$},
)
@article(FL14,
 author       = {Uli Fahrenberg and Axel Legay},
 year         = {2014},
 title        = {The quantitative linear-time-branching-time spectrum},
 journal      = {Theor. Comput. Sci.},
 volume       = {538},
 pages        = {54--69},
 doi          = {$10.1016$/j.tcs.$2013.07.030$},
)
@article(GA12,
 author       = {Sonja Georgievska and Suzana Andova},
 year         = {2012},
 title        = {Probabilistic may/must testing: retaining probabilities by restricted schedulers},
 journal      = {Formal Asp. Comput.},
 volume       = {24},
 number       = {4-6},
 pages        = {727--748},
 doi          = {$10.1007/$s$00165$-$012$-$0236$-$5$},
)
@article(HJ94,
 author       = {Hans Hansson and Bengt Jonsson},
 year         = {1994},
 title        = {A logic for reasoning about time and reliability},
 journal      = {FAC},
 volume       = {6},
 number       = {5},
 pages        = {512--535},
 doi          = {$10.1007$/BF$01211866$},
)
@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      = {Inf. Comput.},
 volume       = {209},
 number       = {2},
 pages        = {154--172},
 doi          = {$10.1016/$j.ic.$2010.11.024$},
)
@book(H85,
 author       = {Anthony Hoare},
 year         = {1985},
 title        = {Communicating Sequential Processes},
 publisher    = {Prentice-Hall},
)
@inproceedings(JS90,
 author       = {Chi{-}Chang Jou and Scott A. Smolka},
 year         = {1990},
 title        = {Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes},
 booktitle    = {Proc.~{CONCUR} '90},
 series       = {Lecture Notes in Computer Science},
 volume       = {458},
 pages        = {367--383},
 doi          = {$10.1007/$BFb$0039071$},
)
@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(S95tr,
 author       = {Roberto Segala},
 year         = {1995},
 title        = {A Compositional Trace-Based Semantics for Probabilistic Automata},
 booktitle    = {Proc.~{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},
)
@article(SL95,
 author       = {Roberto Segala and Nancy A. Lynch},
 year         = {1995},
 title        = {Probabilistic Simulations for Probabilistic Processes},
 journal      = {Nord. J. Comput.},
 volume       = {2},
 number       = {2},
 pages        = {250--273},
)
@inproceedings(SDC07,
 author       = {Lin Song and Yuxin Deng and Xiaojuan Cai},
 year         = {2007},
 title        = {Towards Automatic Measurement of Probabilistic Processes},
 booktitle    = {Proc.~{QSIC} 2007},
 pages        = {50--59},
 doi          = {$10.1109/$QSIC.$2007.65$},
)
@inproceedings(WJ06,
 author       = {Nicol{\'{a}}s Wolovick and Sven Johr},
 year         = {2006},
 title        = {A Characterization of Meaningful Schedulers for Continuous-Time Markov Decision Processes},
 booktitle    = {Proc.~{FORMATS} 2006},
 pages        = {352--367},
 doi          = {$10.1007/11867340\_25$},
)
@inproceedings(YL92,
 author       = {Wang Yi and Kim G. Larsen},
 year         = {1992},
 title        = {Testing Probabilistic and Nondeterministic Processes},
 booktitle    = {Proc.~PSTV'92 {IFIP} Transactions C-8},
 pages        = {47--61},
)