@incollection(BBLM13b,
 author       = "Giorgio Bacci and Giovanni Bacci and Kim G Larsen and Radu Mardare",
 year         = "2013",
 title        = "Computing {B}ehavioral {D}istances, {C}ompositionally",
 booktitle    = "Proc.~MFCS'13",
 publisher    = "Springer",
 pages        = "74--85",
 doi          = "10.1007/978-3-642-40313-2\_9",
)
@inproceedings(Bar02,
 author       = "Falk Bartels",
 year         = "2002",
 title        = "{GSOS} for probabilistic transition systems",
 booktitle    = "Proc.~CMCS'02",
 series       = "ENTCS",
 volume       = "65",
 publisher    = "Elsevier",
 pages        = "29--53",
 doi          = "10.1016/S1571-0661(04)80358-X",
)
@phdthesis(Bar04,
 author       = "Falk Bartels",
 year         = "2004",
 title        = "On Generalised Coinduction and Probabilistic Specification Formats",
 school       = "VU University Amsterdam",
)
@article(BFvG04,
 author       = "Bard Bloom and Wan Fokkink and Rob J. van Glabbeek",
 year         = "2004",
 title        = "Precongruence formats for decorated trace semantics",
 journal      = "ACM TOCL",
 volume       = "5",
 pages        = "26--78",
 doi          = "10.1145/963927.963929",
)
@article(BIM95,
 author       = "Bard Bloom and Sorin Istrail and Albert R. Meyer",
 year         = "1995",
 title        = "Bisimulation can't be traced",
 journal      = "J. ACM",
 volume       = "42",
 pages        = "232--268",
 doi          = "10.1145/200836.200876",
)
@article(BW05,
 author       = "Franck van Breugel and James Worrell",
 year         = "2005",
 title        = "A {B}ehavioural {P}seudometric for {P}robabilistic {T}ransition {S}ystems",
 journal      = "TCS",
 volume       = "331",
 number       = "1",
 pages        = "115--142",
 doi          = "10.1016/j.tcs.2004.09.035",
)
@article(BW06,
 author       = "Franck van Breugel and James Worrell",
 year         = "2006",
 title        = "Approximating and computing behavioural distances in probabilistic transition systems",
 journal      = "TCS",
 volume       = "360",
 number       = "1",
 pages        = "373--385",
 doi          = "10.1016/j.tcs.2006.05.021",
)
@inproceedings(CGPX14,
 author       = "Konstantinos Chatzikokolakis and Daniel Gebler and Catuscia Palamidessi and Lili Xu",
 title        = "Generalized bisimulation metrics",
 booktitle    = "Proc.~CONCUR'14",
 series       = "LNCS",
 publisher    = "Springer, To appear",
)
@inproceedings(DGL14c,
 author       = "Pedro R. D'Argenio and Daniel Gebler and Matias David Lee",
 year         = "2014",
 title        = "{A}xiomatizing {B}isimulation {E}quivalences and {M}etrics from {P}robabilistic {SOS} {R}ules",
 booktitle    = "Proc.~FoSSaCS'14",
 series       = "LNCS",
 volume       = "8412",
 publisher    = "Springer",
 pages        = "289--303",
 doi          = "10.1007/978-3-642-54830-7\_19",
)
@inproceedings(DL12,
 author       = "Pedro R. D'Argenio and Matias David Lee",
 year         = "2012",
 title        = "Probabilistic {T}ransition {S}ystem {S}pecification: {C}ongruence and {F}ull {A}bstraction of {B}isimulation",
 booktitle    = "Proc.~FoSSaCS'12",
 series       = "LNCS",
 volume       = "7213",
 publisher    = "Springer",
 pages        = "452--466",
 doi          = "10.1007/978-3-642-28729-9\_30",
)
@inproceedings(AFS04,
 author       = "L. De Alfaro and M. Faella and M. Stoelinga",
 year         = "2004",
 title        = "Linear and Branching Metrics for Quantitative Transition Systems",
 booktitle    = "Proc.~ICALP'04",
 series       = "LNCS",
 volume       = "3142",
 publisher    = "Springer",
 pages        = "97--109",
 doi          = "10.1007/978-3-540-27836-8\_11",
)
@inproceedings(DAMRS07,
 author       = "L. De Alfaro and R. Majumdar and V. Raman and M. Stoelinga",
 year         = "2007",
 title        = "Game relations and metrics",
 booktitle    = "Proc.~LICS'07",
 organization = "IEEE",
 pages        = "99--108",
 doi          = "10.1109/LICS.2007.22",
)
@article(DCPP06,
 author       = "Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang",
 year         = "2006",
 title        = "Metrics for {A}ction-labelled {Q}uantitative {T}ransition {S}ystems",
 journal      = "ENTCS",
 volume       = "153",
 number       = "2",
 pages        = "79--96",
 doi          = "10.1016/j.entcs.2005.10.033",
)
@techreport(DD11,
 author       = "Yuxin Deng and Wenjie Du",
 year         = "2011",
 title        = "Logical, {M}etric, and {A}lgorithmic {C}haracterisations of {P}robabilistic {B}isimulation",
 type         = "Technical Report",
 number       = "CMU-CS-11-110",
 institution  = "CMU",
)
@article(DGJP04,
 author       = "Jos\'ee Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden",
 year         = "2004",
 title        = "Metrics for {L}abelled {M}arkov {P}rocesses",
 journal      = "TCS",
 volume       = "318",
 number       = "3",
 pages        = "323--354",
 doi          = "10.1016/j.tcs.2003.09.013",
)
@inproceedings(DJGP02,
 author       = "Jos{\'e}e Desharnais and Radha Jagadeesan and Vineet Gupta and Prakash Panangaden",
 year         = "2002",
 title        = "The {M}etric {A}nalogue of {W}eak {B}isimulation for {P}robabilistic {P}rocesses",
 booktitle    = "Proc.~LICS'02",
 organization = "IEEE",
 pages        = "413--422",
 doi          = "10.1109/LICS.2002.1029849",
)
@inproceedings(DLT08,
 author       = "Jos\'ee Desharnais and Francois Laviolette and Mathieu Tracol",
 year         = "2008",
 title        = "Approximate Analysis of Probabilistic Processes: Logic, Simulation and Games",
 booktitle    = "Proc.~QEST'08",
 organization = "IEEE",
 pages        = "264--273",
 doi          = "10.1109/QEST.2008.42",
)
@article(FvGdW06b,
 author       = "Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind",
 year         = "2006",
 title        = "Compositionality of {H}ennessy-{M}ilner logic by structural operational semantics",
 journal      = "TCS",
 volume       = "354",
 pages        = "421--440",
 doi          = "10.1016/j.tcs.2005.11.035",
)
@article(FvGdW06a,
 author       = "Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind",
 year         = "2006",
 title        = "Divide and Congruence Applied to $\eta $-Bisimulation",
 journal      = "ENTCS",
 volume       = "156",
 pages        = "97--113",
 doi          = "10.1016/j.entcs.2005.10.029",
)
@inproceedings(FvGdW06c,
 author       = "Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind",
 year         = "2006",
 title        = "Divide and Congruence: From Decomposition of Modalities to Preservation of Branching Bisimulation",
 booktitle    = "Proc.~FMCO'05",
 series       = "LNCS",
 volume       = "4111",
 publisher    = "Springer",
 pages        = "195--218",
 doi          = "10.1007/11804192\_10",
)
@article(FvGdW12,
 author       = "Wan Fokkink and Rob J. van Glabbeek and Paulien de Wind",
 year         = "2012",
 title        = "Divide and congruence: From decomposition of modal formulas to preservation of branching and $\eta $-bisimilarity",
 journal      = "I\&C",
 volume       = "214",
 pages        = "59--85",
 doi          = "10.1016/j.ic.2011.10.011",
)
@inproceedings(GF10,
 author       = "Maciej Gazda and Wan Fokkink",
 year         = "2010",
 title        = "Congruence from the Operator's Point of View: Compositionality Requirements on Process Semantics",
 booktitle    = "Proc.~SOS'10",
 series       = "EPTCS",
 volume       = "32",
 pages        = "15--25",
 doi          = "10.4204/EPTCS.32.2",
)
@inproceedings(GF12,
 author       = "Daniel Gebler and Wan Fokkink",
 year         = "2012",
 title        = "{C}ompositionality of {P}robabilistic {H}ennessy-{M}ilner {L}ogic through {S}tructural {O}perational {S}emantics",
 booktitle    = "Proc.~CONCUR'12",
 series       = "LNCS",
 volume       = "7454",
 publisher    = "Springer",
 pages        = "395--409",
 doi          = "10.1007/978-3-642-32940-1\_28",
)
@inproceedings(GT13,
 author       = "Daniel Gebler and Simone Tini",
 year         = "2013",
 title        = "Compositionality of Approximate Bisimulation for Probabilistic Systems",
 booktitle    = "Proc.~EXPRESS/SOS'13",
 series       = "EPTCS",
 volume       = "120",
 publisher    = "OPA",
 pages        = "32--46",
 doi          = "10.4204/EPTCS.120.4",
)
@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 TC2 Working Conf. on Prog. Concepts and Methods",
 pages        = "443--458",
)
@article(Gro93,
 author       = "Jan Friso Groote",
 year         = "1993",
 title        = "Transition System Specifications with Negative Premises",
 journal      = "TCS",
 volume       = "118",
 number       = "2",
 pages        = "263--299",
 doi          = "10.1016/0304-3975(93)90111-6",
)
@article(LT09,
 author       = "Ruggero Lanotte and Simone Tini",
 year         = "2009",
 title        = "Probabilistic Bisimulation as a Congruence",
 journal      = "ACM TOCL",
 volume       = "10",
 pages        = "1--48",
 doi          = "10.1145/1462179.1462181",
)
@article(LS91,
 author       = "Kim G. Larsen and Arne Skou",
 year         = "1991",
 title        = "Bisimulation Through Probabilistic Testing",
 journal      = "I\&C",
 volume       = "94",
 pages        = "1--28",
 doi          = "10.1016/0890-5401(91)90030-6",
)
@inproceedings(LGD12,
 author       = "Matias David Lee and Daniel Gebler and Pedro R. D'Argenio",
 year         = "2012",
 title        = "Tree {R}ules in {P}robabilistic {T}ransition {S}ystem {S}pecifications with {N}egative and {Q}uantitative {P}remises",
 booktitle    = "Proc.~EXPRESS/SOS'12",
 series       = "EPTCS",
 volume       = "89",
 pages        = "115--130",
 doi          = "10.4204/EPTCS.89.9",
)
@phdthesis(Seg95a,
 author       = "Roberto Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-Time Systems",
 school       = "MIT",
)
@article(Tin10,
 author       = "Simone Tini",
 year         = "2010",
 title        = "Non-expansive $\epsilon $-bisimulations for Probabilistic Processes",
 journal      = "TCS",
 volume       = "411",
 pages        = "2202--2222",
 doi          = "10.1016/j.tcs.2010.01.027",
)
@inproceedings(TDZ11,
 author       = "Mathieu Tracol and Jos\'ee Desharnais and Abir Zhioua",
 year         = "2011",
 title        = "Computing Distances between Probabilistic Automata",
 booktitle    = "Proc.~QAPL'11",
 series       = "EPTCS",
 volume       = "57",
 pages        = "148--162",
 doi          = "10.4204/EPTCS.57.11",
)
@article(Yin02b,
 author       = "Mingsheng Ying",
 year         = "2002",
 title        = "Bisimulation indexes and their applications",
 journal      = "TCS",
 volume       = "275",
 number       = "1",
 pages        = "1--68",
 doi          = "10.1016/S0304-3975(01)00124-4",
)