@inproceedings(ahm03,
 author       = {L.~de~Alfaro and T.~A. Henzinger and R.~Majumdar},
 year         = {2003},
 title        = {Discounting the Future in Systems Theory},
 booktitle    = {ICALP 2003},
 series       = {LNCS},
 volume       = {2719},
 publisher    = {Springer},
 pages        = {1022--1037},
 doi          = {10.1007/3-540-45061-0\_79},
)
@inproceedings(amrs07,
 author       = {L.~de~Alfaro and R.~Majumdar and V.~Raman and M.~Stoelinga},
 year         = {2007},
 title        = {Game Relations and Metrics},
 booktitle    = {LICS 2007},
 publisher    = {IEEE Computer Society},
 pages        = {99--108},
 doi          = {10.1109/LICS.2007.22},
)
@inproceedings(Bre05,
 author       = {F.~van Breugel},
 year         = {2005},
 title        = {A Behavioural Pseudometric for Metric Labelled Transition Systems},
 booktitle    = {{CONCUR} 2005},
 series       = {LNCS},
 volume       = {3653},
 publisher    = {Springer},
 pages        = {141--155},
 doi          = {10.1007/11539452\_14},
)
@article(bw05,
 author       = {F.~van Breugel and J.~Worrell},
 year         = {2005},
 title        = {A behavioural pseudometric for probabilistic transition systems},
 journal      = {Theoretical Computer Science},
 volume       = {331},
 number       = {1},
 pages        = {115--142},
 doi          = {10.1016/j.tcs.2004.09.035},
)
@inproceedings(chr10_quantitative,
 author       = {P.~Cern{\'y} and T.~A. Henzinger and A.~Radhakrishna},
 year         = {2010},
 title        = {Quantitative Simulation Games},
 booktitle    = {EMAP 2010},
 pages        = {42--60},
 doi          = {10.1007/978-3-642-13754-9\_3},
)
@inproceedings(chr10_distance,
 author       = {P.~Cern{\'y} and T.~A. Henzinger and A.~Radhakrishna},
 year         = {2010},
 title        = {Simulation Distances},
 booktitle    = {CONCUR 2010},
 pages        = {253--268},
 doi          = {10.1007/978-3-642-15375-4\_18},
)
@article(beatcs11,
 author       = {D.~Della~Monica and V.~Goranko and A.~Montanari and G.~Sciavicco},
 year         = {2011},
 title        = {{Interval Temporal Logics: a Journey}},
 journal      = {Bulletin of the EATCS},
 volume       = {105},
)
@article(dgjp04,
 author       = {J.~Desharnais and V.~Gupta and R.~Jagadeesan and P.~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(dlt08,
 author       = {J.~Desharnais and F.~Laviolette and M.~Tracol},
 year         = {2008},
 title        = {Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games},
 booktitle    = {QEST 2008},
 publisher    = {IEEE Computer Society},
 pages        = {264--273},
 doi          = {10.1109/QEST.2008.42},
)
@inproceedings(ftl11,
 author       = {U.~Fahrenberg and C.~R. Thrane and K.~G. Larsen},
 year         = {2011},
 title        = {Distances for Weighted Transition Systems: Games and Properties},
 booktitle    = {QAPL 2011},
 pages        = {134--147},
 doi          = {10.4204/EPTCS.57.10},
)
@article(fpp11,
 author       = {N.~Ferns and P.~Panangaden and D.~Precup},
 year         = {2011},
 title        = {Bisimulation Metrics for Continuous Markov Decision Processes},
 journal      = {{SIAM} J. Comput.},
 volume       = {40},
 number       = {6},
 pages        = {1662--1714},
 doi          = {10.1137/10080484X},
)
@inproceedings(lnw07,
 author       = {K.~G. Larsen and U.~Nyman and A.~Wasowski},
 year         = {2007},
 title        = {Modal {I/O} Automata for Interface and Product Line Theories},
 booktitle    = {{ESOP} 2007},
 series       = {LNCS},
 volume       = {4421},
 publisher    = {Springer},
 pages        = {64--79},
 doi          = {10.1007/978-3-540-71316-6\_6},
)
@article(lv13,
 author       = {G.~L{\"{u}}ttgen and W.~Vogler},
 year         = {2013},
 title        = {Modal Interface Automata},
 journal      = {Logical Methods in Computer Science},
 volume       = {9},
 number       = {3},
 doi          = {10.2168/LMCS-9(3:4)2013},
)
@book(Mil89,
 author       = {R.~Milner},
 year         = {1989},
 title        = {Communication and concurrency},
 publisher    = {Prentice Hall},
)
@inproceedings(Par81,
 author       = {D.M.R. Park},
 year         = {1981},
 title        = {Concurrency and automata on infinite sequences},
 booktitle    = {Theoretical Computer Science, 5th Gl-Conference},
 series       = {LNCS},
 volume       = {104},
 publisher    = {Springer},
 pages        = {167--183},
 doi          = {10.1007/BFb0017309},
)
@article(rbbclp11,
 author       = {J.{-}B. Raclet and E.~Badouel and A.~Benveniste and B.{\^{\i}}t Caillaud and A.~Legay and R.~Passerone},
 year         = {2011},
 title        = {A Modal Interface Theory for Component-based Design},
 journal      = {Fundam. Inform.},
 volume       = {108},
 number       = {1-2},
 pages        = {119--149},
 doi          = {10.3233/FI-2011-416},
)
@inproceedings(rf12a,
 author       = {D.~Romero-Hern{\'a}ndez and D.~de~Frutos-Escrig},
 year         = {2012},
 title        = {Defining Distances for All Process Semantics},
 booktitle    = {FMOODS/FORTE 2012},
 pages        = {169--185},
 doi          = {10.1007/978-3-642-30793-5\_11},
)
@inproceedings(rf12b,
 author       = {D.~Romero-Hern{\'a}ndez and D.~de~Frutos-Escrig},
 year         = {2012},
 title        = {Distances between Processes: A Pure Algebraic Approach},
 booktitle    = {WADT 2012},
 pages        = {265--282},
 doi          = {10.1007/978-3-642-37635-1\_16},
)
@inproceedings(rf14,
 author       = {D.~Romero{-}Hern{\'{a}}ndez and D.~de~Frutos{-}Escrig},
 year         = {2014},
 title        = {Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances},
 booktitle    = {FORTE 2014},
 pages        = {249--265},
 doi          = {10.1007/978-3-662-43613-4\_16},
)
@article(San11,
 author       = {Davide Sangiorgi},
 year         = {2009},
 title        = {On the origins of bisimulation and coinduction},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {31},
 number       = {4},
 doi          = {10.1145/1516507.1516510},
)
@inproceedings(Sti98,
 author       = {C.~Stirling},
 year         = {1998},
 title        = {The Joys of Bisimulation},
 booktitle    = {MFCS 1998},
 series       = {LNCS},
 volume       = {1450},
 publisher    = {Springer},
 pages        = {142--151},
 doi          = {10.1007/BFb0055763},
)