@inproceedings(BM12,
 author       = "Giorgio Bacci and Marino Miculan",
 year         = "2012",
 title        = "Structural Operational Semantics for Continuous State Probabilistic Processes",
 booktitle    = "Proc.~CMCS'12",
 series       = "LNCS",
 volume       = "7399",
 publisher    = "Springer",
 pages        = "71--89",
 doi          = "10.1007/978-3-642-32784-1\_5",
)
@phdthesis(Bar04,
 author       = "Falk Bartels",
 year         = "2004",
 title        = "On Generalised Coinduction and Probabilistic Specification Formats",
 school       = "VU University Amsterdam",
)
@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(DL12,
 author       = "Pedro R. D'Argenio and Matias David Lee",
 year         = "2012",
 title        = "Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation",
 booktitle    = "Proc.~FoSSaCS'12",
 series       = "LNCS",
 volume       = "7213",
 publisher    = "Springer",
 pages        = "452--466",
 doi          = "10.1007/978-3-642-28729-9\_30",
)
@article(DGJP03,
 author       = "Jos\'ee Desharnais and Vineet Gupta and Radha Jagadeesan and Prakash Panangaden",
 year         = "2003",
 title        = "Approximating Labelled Markov Processes",
 journal      = "Information and Computation",
 volume       = "184",
 number       = "1",
 pages        = "160 -- 200",
 doi          = "10.1016/S0890-5401(03)00051-8",
)
@article(DGJP04,
 author       = "Jos\'ee 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",
)
@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",
)
@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(vG04,
 author       = "Rob J. van Glabbeek",
 year         = "2004",
 title        = "The Meaning of Negative Premises in Transition System Specifications {II}",
 journal      = "J. Log. Algebr. Program.",
 volume       = "60-61",
 pages        = "229--258",
 doi          = "10.1016/j.jlap.2004.03.007",
)
@article(Gro93,
 author       = "Jan Friso Groote",
 year         = "1993",
 title        = "Transition System Specifications with Negative Premises",
 journal      = "Theor. Comput. Sci.",
 volume       = "118",
 number       = "2",
 pages        = "263--299",
 doi          = "10.1016/0304-3975(93)90111-6",
)
@article(GV92,
 author       = "Jan Friso Groote and Frits Vaandrager",
 year         = "1992",
 title        = "Structured Operational Semantics and Bisimulation as a Congruence",
 journal      = "Inf. Comput.",
 volume       = "100",
 pages        = "202--260",
 doi          = "10.1016/0890-5401(92)90013-6",
)
@incollection(LT05,
 author       = "Ruggero Lanotte and Simone Tini",
 year         = "2005",
 title        = "Probabilistic Congruence for Semistochastic Generative Processes",
 booktitle    = "Proc.~FoSSaCS'05",
 series       = "LNCS",
 volume       = "3441",
 publisher    = "Springer",
 pages        = "63--78",
 doi          = "10.1007/978-3-540-31982-5\_4",
)
@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      = "Inf. Comput.",
 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 Rules in Probabilistic Transition System Specifications with Negative and Quantitative Premises",
 booktitle    = "Proc.~EXPRESS/SOS'12",
 series       = "EPTCS",
 volume       = "89",
 pages        = "115--130",
 doi          = "10.4204/EPTCS.89.9",
)
@inproceedings(MS13,
 author       = "Matteo Mio and Alex Simpson",
 year         = "2013",
 title        = "A {P}roof {S}ystem for {C}ompositional {V}erification of {P}robabilistic {C}oncurrent {P}rocesses",
 booktitle    = "Proc.~FoSSaCS'13",
 series       = "LNCS",
 volume       = "7794",
 publisher    = "Springer",
 pages        = "161--176",
 doi          = "10.1007/978-3-642-37075-5\_11",
)
@techreport(Plo04,
 author       = "Gordon Plotkin",
 year         = "1981",
 title        = "A Structural Approach to Operational Semantics",
 type         = "Report",
 number       = "DAIMI FN-19",
 institution  = "Aarhus University",
)
@phdthesis(Seg95a,
 author       = "Roberto Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-Time Systems",
 school       = "MIT",
)
@inproceedings(Tin08,
 author       = "Simone Tini",
 year         = "2008",
 title        = "Non Expansive $\epsilon $-bisimulations",
 booktitle    = "Proc.~AMAST'08",
 series       = "LNCS",
 volume       = "5140",
 publisher    = "Springer",
 pages        = "362--376",
 doi          = "10.1007/978-3-540-79980-1\_27",
)
@article(Tin10,
 author       = "Simone Tini",
 year         = "2010",
 title        = "Non-expansive $\epsilon $-bisimulations for Probabilistic Processes",
 journal      = "Theoret. Comput. Sci.",
 volume       = "411",
 pages        = "2202--2222",
 doi          = "10.1016/j.tcs.2010.01.027",
)
@phdthesis(Trac10,
 author       = "Mathieu Tracol",
 year         = "2010",
 title        = "Approximate Verification of Probabilistic Systems",
 type         = "Dissertation",
 school       = "{LRI, Universit\'e Paris-Sud}",
)
@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",
)