@proceedings(BHHKS04:voss,
 editor       = "C. Baier and B.R. Haverkort and H. Hermanns and J.-P. Katoen and M. Siegle",
 year         = "2004",
 title        = "Validation of Stochastic Systems -- A Guide to Current Research",
 publisher    = "LNCS 2925",
 doi          = "10.1007/b98484",
)
@book(BV96:mit,
 author       = "J.W. de Bakker and E.P. de Vink",
 year         = "1996",
 title        = "Control Flow Semantics",
 publisher    = "The MIT Press",
)
@inproceedings(Ber07:sfm,
 author       = "M. Bernardo",
 year         = "2007",
 title        = "A Survey of Markovian Behavioral Equivalences",
 editor       = "M. Bernardo and J. Hillston",
 booktitle    = "SFM 2007 Advanced Lectures",
 publisher    = "LNCS 4486",
 pages        = "180--219",
 doi          = "10.1007/978-3-540-72522-0\_5",
)
@article(BG98:tcs,
 author       = "M. Bernardo and R. Gorrieri",
 year         = "1998",
 title        = "A tutorial on {EMPA}: a theory of concurrent processes with non-determinism, priorities, probabilities and time",
 journal      = "Theoretical Computer Science",
 volume       = "202",
 number       = "1--2",
 pages        = "1--54",
 doi          = "10.1016/S0304-3975(97)00127-8",
)
@techreport(BBBRS11,
 author       = "F. Bonchi and M. Bonsangue and M. Boreale and J. Rutten and A. Silva",
 year         = "2011",
 title        = "A coalgebraic perspective on linear weighted automata",
 type         = "Technical Report",
 number       = "SEN--1104",
 institution  = "CWI",
 note         = "31pp",
)
@inproceedings(Bor09:concur,
 author       = "M. Boreale",
 year         = "2009",
 title        = "Weighted Bisimulation in Linear Algebraic Form",
 editor       = "M. Bravetti and G. Zavattaro",
 booktitle    = "Proc.\ CONCUR 2009",
 publisher    = "LNCS 5710",
 pages        = "163--177",
 doi          = "10.1007/978-3-642-04081-8\_12",
)
@conference(De+09,
 author       = "R. {De Nicola} and D. Latella and M. Loreti and M. Massink",
 year         = "2009",
 title        = "Rate-based Transition Systems for Stochastic Process Calculi",
 editor       = "{S. Albers et al.}",
 booktitle    = "Proc.\ ICALP 2009, Part II",
 publisher    = "LNCS~5556",
 pages        = "435--446",
 doi          = "10.1007/978-3-642-02930-1\_36",
)
@techreport(De+11,
 author       = "R. {De Nicola} and D. Latella and M. Loreti and M. Massink",
 year         = "2011",
 title        = "State to function labelled transition systems: a uniform framework for defining stochastic process calculi",
 type         = "Technical Report",
 number       = "ISTI-2011-TR-012",
 institution  = "CNR/ISTI",
)
@conference(DLM05,
 author       = "R. {De Nicola} and D. Latella and M. Massink",
 year         = "2005",
 title        = "{Formal modeling and quantitative analysis of {Klaim}-based mobile systems}",
 editor       = "H. Haddad et al.",
 booktitle    = "Proc.\ SAC 2005",
 publisher    = "ACM",
 pages        = "428--435",
 doi          = "10.1145/1066677.1066777",
)
@inproceedings(EHZ10:concur,
 author       = "C. Eisentraut and H. Hermanns and L. Zhang",
 year         = "2010",
 title        = "Concurrency and Composition in a Stochastic World",
 editor       = "P. Gastin and F. Laroussinie",
 booktitle    = "Proc.\ CONCUR 2010",
 publisher    = "LNCS 6269",
 pages        = "21--39",
 doi          = "10.1007/978-3-642-15375-4\_3",
)
@article(GS01:au,
 author       = "H.P. Gumm and T. Schr\"oder",
 year         = "2001",
 title        = "Products of coalgebras",
 journal      = "Algebra Universalis",
 volume       = "46",
 pages        = "163--185",
)
@article(GS02:mscs,
 author       = "H.P. Gumm and T. Schr\"oder",
 year         = "2002",
 title        = "Coalgebras of bounded type",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "12",
 pages        = "565--578",
 doi          = "10.1017/S0960129501003590",
)
@book(Her02:springer,
 author       = "H. Hermanns",
 year         = "2002",
 title        = "Interactive Markov Chains",
 publisher    = "LNCS 2428",
 doi          = "10.1007/3-540-45804-2",
)
@article(HHK02,
 author       = "H. Hermanns and U. Herzog and J.-P. Katoen",
 year         = "2002",
 title        = "Process algebra for performance evaluation",
 journal      = "Theoretical Computer Science",
 volume       = "274",
 number       = "1--2",
 pages        = "43--87",
 doi          = "10.1016/S0304-3975(00)00305-4",
)
@article(HHM98:cnis,
 author       = "H. Hermanns and U. Herzog and V. Mertsiotakis",
 year         = "1998",
 title        = "Stochastic process algebras -- between {LOTOS} and {Markov} chains",
 journal      = "Computer Networks and ISDN Systems",
 volume       = "30",
 pages        = "901--924",
 doi          = "10.1016/S0169-7552(97)00133-5",
)
@inproceedings(HK10:fmco,
 author       = "H. Hermanns and J.-P. Katoen",
 year         = "2010",
 title        = "The How and Why of Interactive Markov Chains",
 editor       = "F.S. de Boer and M.M. Bonsangue and S. Hallerstede and M. Leuschel",
 booktitle    = "Proc.\ FMCO 2009",
 publisher    = "LNCS 6286",
 pages        = "311--337",
 doi          = "10.1007/978-3-642-17071-3\_16",
)
@book(Hil96:phd,
 author       = "J. Hillston",
 year         = "1996",
 title        = "A Compositional Approach to Performance Modelling",
 series       = "Distinguished Dissertations in Computer Science",
 volume       = "12",
 publisher    = "Cambridge University Press",
)
@inproceedings(Hil05:lics,
 author       = "J. Hillston",
 year         = "2005",
 title        = "Process Algebras for Quantitative Analysis",
 booktitle    = "Proc.\ LICS, Chicago",
 publisher    = "IEEE",
 pages        = "239--248",
 doi          = "10.1109/LICS.2005.35",
)
@inproceedings(KS08:fossacs,
 author       = "B. Klin and V. Sassone",
 year         = "2008",
 title        = "Structural Operational Semantics for Stochastic Process Calculi",
 editor       = "R.M. Amadio",
 booktitle    = "Proc.\ FoSSaCS 2008",
 publisher    = "LNCS 4962",
 pages        = "428--442",
 doi          = "10.1007/978-3-540-78499-9\_30",
)
@phdthesis(Kur00:phd,
 author       = "A. Kurz",
 year         = "2000",
 title        = "Logics for coalgebras and applications to computer science",
 school       = "LMU M\"unchen",
)
@book(Mil80:lncs,
 author       = "R. Milner",
 year         = "1980",
 title        = "A Calculus of Communicating Systems",
 publisher    = "LNCS 92",
 doi          = "10.1007/3-540-10235-3",
)
@inproceedings(Par81:gi,
 author       = "D. Park",
 year         = "1981",
 title        = "Concurrency and Automata on Infinite Sequences",
 booktitle    = "Proc.\ GI-Conference 1981, Karlsruhe",
 publisher    = "LNCS 104",
 pages        = "167--183",
)
@article(Pri95:cj,
 author       = "C. Priami",
 year         = "1995",
 title        = "Stochastic $\pi $-calculus",
 journal      = "The Computer Journal",
 volume       = "38",
 pages        = "578--589",
 doi          = "10.1093/comjnl/38.7.578",
)
@article(Rut00:tcs,
 author       = "J.J.M.M. Rutten",
 year         = "2000",
 title        = "Universal coalgebra: a theory of systems",
 journal      = "Theoretical Computer Science",
 volume       = "249",
 pages        = "3--80",
 doi          = "10.1016/S0304-3975(00)00056-6",
)
@article(SBBR10:ic,
 author       = "A. Silva and F. Bonchi and M. Bonsangue and J. Rutten",
 year         = "2011",
 title        = "Quantitative Kleene coalgebras",
 journal      = "Information and Computation",
 volume       = "209",
 number       = "5",
 pages        = "822--846",
 doi          = "10.1016/j.ic.2010.09.007",
)
@article(Sok11:tcs,
 author       = "A. Sokolova",
 year         = "2011",
 title        = "Probabilistic systems coalgebraically: a survey",
 journal      = "Theoretical Computer Science",
 volume       = "412",
 number       = "38",
 pages        = "5095--5110",
 doi          = "10.1016/j.tcs.2011.05.008",
)
@inproceedings(TP97:lics,
 author       = "D. Turi and G.D. Plotkin",
 year         = "1997",
 title        = "Towards a Mathematical Operational Semantics",
 booktitle    = "Proc.\ LICS 1997, Warsaw",
 publisher    = "IEEE",
 pages        = "280--291",
 doi          = "10.1109/LICS.1999.782615",
)
@article(DeR99,
 author       = "E.P. de Vink and J.J.M.M. Rutten",
 year         = "1999",
 title        = "Bisimulation for probabilistic transition systems: a coalgebraic approach",
 journal      = "Theoretical Computer Science",
 volume       = "221",
 pages        = "271--293",
 doi          = "10.1016/S0304-3975(99)00035-3",
)