@inproceedings(DBLP:conf/stacs/AcetoFI01,
 author       = "Luca Aceto and Wan Fokkink and Anna Ing{\'o}lfsd{\'o}ttir",
 year         = "2001",
 title        = "2-Nested Simulation Is Not Finitely Equationally Axiomatizable",
 editor       = "Afonso Ferreira and Horst Reichel",
 booktitle    = "Proc. STACS'01",
 series       = "Lecture Notes in Computer Science",
 volume       = "2010",
 publisher    = "Springer",
 pages        = "39--50",
 doi          = "10.1007/3-540-44693-1\_4",
)
@article(conf/icalp/AlfaroFS04,
 author       = "Luca de\nobreakspace 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",
)
@inproceedings(conf/icalp/AlfaroHM03,
 author       = "Luca de\nobreakspace Alfaro and Thomas\nobreakspace A. Henzinger and Rupak Majumdar",
 year         = "2003",
 title        = "Discounting the Future in {S}ystems Theory",
 booktitle    = "Proc. ICALP'03",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "2719",
 publisher    = "{Springer-Verlag}",
 pages        = "1022--1037",
 doi          = "10.1007/3-540-45061-0\_79",
)
@book(aliprantis2007infinite,
 author       = "Charalambos\nobreakspace D. Aliprantis and Kim\nobreakspace C. Border",
 year         = "2007",
 title        = "Infinite Dimensional Analysis: A Hitchhiker's Guide",
 edition      = "3rd",
 publisher    = "{Springer-Verlag}",
)
@article(DBLP:journals/tcs/Bodlaender93,
 author       = "Hans\nobreakspace L. Bodlaender",
 year         = "1993",
 title        = "Complexity of Path-Forming Games",
 journal      = "{Theoretical Computer Science}",
 volume       = "110",
 number       = "1",
 pages        = "215--245",
 doi          = "10.1016/0304-3975(93)90357-Y",
)
@inproceedings(DBLP:conf/formats/BouyerFLMS08,
 author       = "Patricia Bouyer and Uli Fahrenberg and Kim\nobreakspace G. Larsen and Nicolas Markey and Ji\v {r}\'{\i } Srba",
 year         = "2008",
 title        = "Infinite Runs in Weighted Timed Automata with Energy Constraints",
 booktitle    = "Proc. FORMATS'08",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "5215",
 publisher    = "{Springer-Verlag}",
 pages        = "33--47",
 doi          = "10.1007/978-3-540-85778-5\_4",
)
@inproceedings(DBLP:conf/concur/Breugel05,
 author       = "Franck van Breugel",
 year         = "2005",
 title        = "A Behavioural Pseudometric for Metric Labelled Transition Systems",
 booktitle    = "Proc. CONCUR'05",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "3653",
 publisher    = "{Springer-Verlag}",
 pages        = "141--155",
 doi          = "10.1007/11539452\_14",
)
@inproceedings(conf/concur/CernyHR10,
 author       = "Pavol {\v C}ern{\'y} and Thomas\nobreakspace A. Henzinger and Arjun Radhakrishna",
 year         = "2010",
 title        = "Simulation Distances",
 booktitle    = "Proc. CONCUR'10",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "6269",
 publisher    = "{Springer-Verlag}",
 pages        = "253--268",
 doi          = "10.1007/978-3-642-15375-4\_18",
)
@article(conf/csl/ChatterjeeDH08,
 author       = "Krishnendu Chatterjee and Laurent Doyen and Thomas\nobreakspace A. Henzinger",
 year         = "2010",
 title        = "Quantitative languages",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "11",
 number       = "4",
 doi          = "10.1145/1805950.1805953",
)
@article(journals/tcs/DesharnaisGJP04,
 author       = "Josee Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden",
 year         = "2004",
 title        = "Metrics for labelled {M}arkov processes",
 journal      = "{Theoretical Computer Science}",
 volume       = "318",
 number       = "3",
 pages        = "323--354",
 doi          = "10.1016/j.tcs.2003.09.013",
)
@inproceedings(DBLP:conf/qest/DesharnaisLT08,
 author       = "Jos{\'e}e Desharnais and Fran\c {c}ois Laviolette and Mathieu Tracol",
 year         = "2008",
 title        = "Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games",
 booktitle    = "Proc. QEST'08",
 publisher    = "IEEE Computer Society",
 pages        = "264--273",
 doi          = "10.1109/QEST.2008.42",
)
@article(FahrenbergLT10,
 author       = "Uli Fahrenberg and Kim\nobreakspace G. Larsen and Claus Thrane",
 year         = "2010",
 title        = "A Quantitative Characterization of Weighted {K}ripke Structures in Temporal Logic",
 journal      = "Computing and Informatics",
 volume       = "29",
 number       = "6+",
 pages        = "1311--1324",
)
@booklet(Ferguson,
 author       = "Thomas\nobreakspace S. Ferguson",
 title        = "Game Theory",
 howpublished = "\burl {http://www.math.ucla.edu/\nobreakspace tom/Game_Theory/}",
)
@article(DBLP:journals/tcs/FraenkelS93,
 author       = "Aviezri\nobreakspace S. Fraenkel and Shai Simonson",
 year         = "1993",
 title        = "Geography",
 journal      = "{Theoretical Computer Science}",
 volume       = "110",
 number       = "1",
 pages        = "197--214",
 doi          = "10.1016/0304-3975(93)90356-X",
)
@inproceedings(Giacalone90,
 author       = "Alessandro Giacalone and Chi-chang Jou and Scott\nobreakspace A. Smolka",
 year         = "1990",
 title        = "Algebraic Reasoning for Probabilistic Concurrent Systems",
 booktitle    = "Proc. IFIP TC2 Working Conference on Programming Concepts and Methods",
 publisher    = "North-Holland",
 pages        = "443--458",
)
@incollection(Glabbeek01-lbs,
 author       = "Rob\nobreakspace J. van Glabbeek",
 year         = "2001",
 title        = "The Linear Time -- Branching Time Spectrum {I}",
 editor       = "Jan\nobreakspace A. Bergstra and Alban Ponse and Scott\nobreakspace A. Smolka",
 booktitle    = "Handbook of Process Algebra",
 type         = "{C}hapter",
 chapter      = "1",
 publisher    = "Elsevier",
 pages        = "3--99",
)
@article(DBLP:journals/iandc/GrooteV92,
 author       = "Jan\nobreakspace Friso Groote and Frits\nobreakspace W. Vaandrager",
 year         = "1992",
 title        = "Structured Operational Semantics and Bisimulation as a Congruence",
 journal      = "Inf. Comput.",
 volume       = "100",
 number       = "2",
 pages        = "202--260",
 doi          = "10.1016/0890-5401(92)90013-6",
)
@article(Hamming50,
 author       = "Richard\nobreakspace W. Hamming",
 year         = "1950",
 title        = "Error Detecting and Error Correcting Codes",
 journal      = "Bell System Technical Journal",
 volume       = "29",
 pages        = "147--160",
)
@inproceedings(conf/formats/2005/HenzM05,
 author       = "Thomas\nobreakspace A. Henzinger and Rupak Majumdar and Vinayak Prabhu",
 year         = "2005",
 title        = "Quantifying Similarities Between Timed Systems",
 booktitle    = "Proc. FORMATS'05",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "3829",
 publisher    = "{Springer-Verlag}",
 pages        = "226--241",
 doi          = "10.1007/11603009\_18",
)
@inproceedings(DBLP:conf/fm/HenzingerS06,
 author       = "Thomas\nobreakspace A. Henzinger and Joseph Sifakis",
 year         = "2006",
 title        = "The Embedded Systems Design Challenge",
 booktitle    = "Proc. FM'06",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "4085",
 publisher    = "{Springer-Verlag}",
 pages        = "1--15",
 doi          = "10.1007/11813040\_1",
)
@inproceedings(DBLP:conf/stoc/Kozen83,
 author       = "Dexter Kozen",
 year         = "1983",
 title        = "A Probabilistic PDL",
 booktitle    = "Proc. STOC'83",
 publisher    = "ACM",
 pages        = "291--297",
 doi          = "10.1145/800061.808758",
)
@article(axiomat,
 author       = "Kim\nobreakspace G. Larsen and Uli Fahrenberg and Claus Thrane",
 year         = "2011",
 title        = "Metrics for Weighted Transition Systems: Axiomatization and Complexity",
 journal      = "{Theoretical Computer Science}",
 doi          = "10.1016/j.tcs.2011.04.003",
 note         = "To appear",
)
@article(DBLP:journals/dke/MedeirosAW08,
 author       = "Ana Karla\nobreakspace Alves de\nobreakspace Medeiros and Wil M.\nobreakspace P. van\nobreakspace der Aalst and A.\nobreakspace J. M.\nobreakspace M. Weijters",
 year         = "2008",
 title        = "Quantifying process equivalence based on observed behavior",
 journal      = "Data \& Knowledge Engineering",
 volume       = "64",
 number       = "1",
 pages        = "55--74",
 doi          = "10.1016/j.datak.2007.06.010",
)
@book(milner89,
 author       = "Robin Milner",
 year         = "1989",
 title        = "Communication and Concurrency",
 publisher    = "Prentice Hall",
)
@inproceedings(DBLP:conf/banff/Stirling95,
 author       = "Colin Stirling",
 year         = "1995",
 title        = "Modal and Temporal Logics for Processes",
 booktitle    = "Proc. Banff Higher Order Workshop",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "1043",
 publisher    = "{Springer-Verlag}",
 pages        = "149--237",
)
@mastersthesis(Thomsen87,
 author       = "Bent Thomsen",
 year         = "1987",
 title        = "An Extended Bisimulation Induced by a Preorder on Actions",
 school       = "Aalborg University Centre",
)
@article(journals/jlap/ThraneFL10,
 author       = "Claus Thrane and Uli Fahrenberg and Kim\nobreakspace G. Larsen",
 year         = "2010",
 title        = "Quantitative analysis of weighted transition systems",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "79",
 number       = "7",
 pages        = "689--703",
 doi          = "10.1016/j.jlap.2010.07.010",
)