@unknown(bm:cmcs12,
 author       = "Giorgio Bacci and Marino Miculan",
 year         = "2012",
 title        = "Structural Operational Semantics for Continuous State Probabilistic Processes",
 editor       = "Dirk Pattinson and Lutz Schr{\"o}der",
 booktitle    = "CMCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "7399",
 publisher    = "Springer",
 pages        = "71--89",
 url          = "http://dx.doi.org/10.1007/978-3-642-32784-1_5",
)
@unknown(bartels04thesis,
 author       = "Falk Bartels",
 year         = "2004",
 title        = "On Generalised Coinduction and Probabilistic Specification Formats: Distributive Laws in Coalgebraic Modelling",
 type         = "Ph.D. thesis",
 school       = "CWI, Amsterdam",
)
@unknown(denicola13:ultras,
 author       = "Marco Bernardo and Rocco {De Nicola} and Michele Loreti",
 year         = "2013",
 title        = "A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences",
 journal      = "Information and Computation",
 volume       = "225",
 pages        = "29--82",
 url          = "http://dx.doi.org/10.1016/j.ic.2013.02.004",
)
@unknown(bg98:empa,
 author       = "Marco Bernardo and Roberto Gorrieri",
 year         = "1998",
 title        = "A tutorial on {EMPA}: A theory of concurrent processes with nondeterminism, priorities, probabilities and time",
 journal      = "Theoretical Computer Science",
 volume       = "202",
 number       = "1-2",
 pages        = "1--54",
 url          = "http://dx.doi.org/10.1016/S0304-3975(97)00127-8",
)
@unknown(bloomIM:95,
 author       = "Bard Bloom and Sorin Istrail and Albert R. Meyer",
 year         = "1995",
 title        = "Bisimulation Can't be Traced",
 journal      = "J. ACM",
 volume       = "42",
 number       = "1",
 pages        = "232--268",
 url          = "http://doi.acm.org/10.1145/200836.200876",
)
@unknown(brengos2014:intmoves,
 author       = "Tomasz Brengos",
 year         = "2014",
 title        = "On coalgebras with internal moves",
 journal      = "CoRR",
 volume       = "abs/1402.6281",
 url          = "http://arxiv.org/abs/1402.6281",
)
@unknown(hillston05:cmsb,
 author       = "Muffy Calder and Stephen Gilmore and Jane Hillston",
 year         = "2005",
 title        = "Automatically deriving {ODEs} from process algebra models of signalling pathways",
 editor       = "Gordon Plotkin",
 booktitle    = "Proc.~CMSB",
 pages        = "204--215",
)
@unknown(cm:quest10,
 author       = "Luca Cardelli and Radu Mardare",
 year         = "2010",
 title        = "The Measurable Space of Stochastic Processes",
 booktitle    = "Proc.~QEST",
 publisher    = "IEEE Computer Society",
 pages        = "171--180",
 url          = "http://dx.doi.org/10.1109/QEST.2010.30",
)
@unknown(denicola13:ustoc,
 author       = "Rocco {De Nicola} and Diego Latella and Michele Loreti and Mieke Massink",
 year         = "2013",
 title        = "A uniform definition of stochastic process calculi",
 journal      = "ACM Computing Surveys",
 volume       = "46",
 number       = "1",
 pages        = "5",
 url          = "http://doi.acm.org/10.1145/2522968.2522973",
)
@unknown(handbook:weighted2009,
 author       = "Manfred Droste and Werner Kuich and Heiko Vogler",
 year         = "2009",
 title        = "Handbook of weighted automata",
 publisher    = "Springer",
 url          = "http://dx.doi.org/10.1007/978-3-642-01492-5",
)
@unknown(hhk2002:tcs,
 author       = "Holger Hermanns and Ulrich Herzog and Joost-Pieter Katoen",
 year         = "2002",
 title        = "Process algebra for performance evaluation",
 journal      = "Theoretical Computer Science",
 volume       = "274",
 number       = "1-2",
 pages        = "43--87",
 url          = "http://dx.doi.org/10.1016/S0304-3975(00)00305-4",
)
@unknown(hillston:pepabook,
 author       = "Jane Hillston",
 year         = "1996",
 title        = "A compositional approach to performance modelling",
 publisher    = "Cambridge University Press",
 url          = "http://dx.doi.org/10.1017/CBO9780511569951",
)
@unknown(hillston05,
 author       = "Jane Hillston",
 year         = "2005",
 title        = "Process Algebras for Quantitative Analysis",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "239--248",
 url          = "http://dx.doi.org/10.1109/LICS.2005.35",
)
@unknown(klin09:sosmlogic,
 author       = "Bartek Klin",
 year         = "2009",
 title        = "Bialgebraic methods and modal logic in structural operational semantics",
 journal      = "Information and Computation",
 volume       = "207",
 number       = "2",
 pages        = "237--257",
 url          = "http://dx.doi.org/10.1016/j.ic.2007.10.006",
)
@unknown(klin:tcs11,
 author       = "Bartek Klin",
 year         = "2011",
 title        = "Bialgebras for structural operational semantics: An introduction",
 journal      = "Theoretical Computer Science",
 volume       = "412",
 number       = "38",
 pages        = "5043--5069",
 url          = "http://dx.doi.org/10.1016/j.tcs.2011.03.023",
)
@unknown(ks2013:w-s-gsos,
 author       = "Bartek Klin and Vladimiro Sassone",
 year         = "2013",
 title        = "Structural operational semantics for stochastic and weighted transition systems",
 journal      = "Information and Computation",
)
@unknown(ls:probbisim,
 author       = "Kim Guldstrand Larsen and Arne Skou",
 year         = "1991",
 title        = "Bisimulation through Probabilistic Testing",
 journal      = "Information and Computation",
 volume       = "94",
 number       = "1",
 pages        = "1--28",
 url          = "http://dx.doi.org/10.1016/0890-5401(91)90030-6",
)
@unknown(latella12:futsbisim,
 author       = "Diego Latella and Mieke Massink and Erik P. de Vink",
 year         = "2012",
 title        = "Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages",
 editor       = "Ulrike Golas and Thomas Soboll",
 booktitle    = "Proc.~ACCAT",
 series       = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "93",
 pages        = "23--43",
 url          = "http://dx.doi.org/10.4204/EPTCS.93.2",
)
@unknown(gdl2012:treerules,
 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",
 editor       = "Bas Luttik and Michel A. Reniers",
 booktitle    = "EXPRESS/SOS",
 series       = "EPTCS",
 volume       = "89",
 pages        = "115--130",
 url          = "http://dx.doi.org/10.4204/EPTCS.89.9",
)
@unknown(mp2013:weak-arxiv,
 author       = "Marino Miculan and Marco Peressotti",
 year         = "2013",
 title        = "Weak bisimulations for labelled transition systems weighted over semirings",
 journal      = "CoRR",
 volume       = "abs/1310.4106",
 url          = "http://arxiv.org/abs/1310.4106",
)
@unknown(moss13:modulargsos,
 author       = "Stefan Milius and Lawrence S. Moss and Daniel Schwencke",
 year         = "2013",
 title        = "Abstract GSOS Rules and a Modular Treatment of Recursive Definitions",
 journal      = "Logical Methods in Computer Science",
 volume       = "9",
 number       = "3",
 url          = "http://dx.doi.org/10.2168/LMCS-9(3:28)2013, http://arxiv.org/abs/1307.2538",
)
@unknown(moss1999:coalgebraic,
 author       = "Lawrence S. Moss",
 year         = "1999",
 title        = "Coalgebraic logic",
 journal      = "Annals of Pure and Applied Logic",
 volume       = "96",
 number       = "1",
 pages        = "277--317",
 url          = "http://dx.doi.org/10.1016/S0168-0072(98)00042-6",
)
@unknown(mosses99:modularsos,
 author       = "Peter D. Mosses",
 year         = "1999",
 title        = "Foundations of Modular SOS",
 editor       = "Miroslaw Kutylowski and Leszek Pacholski and Tomasz Wierzbicki",
 booktitle    = "MFCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "1672",
 publisher    = "Springer",
 pages        = "70--80",
 url          = "http://dx.doi.org/10.1007/3-540-48340-3_7",
)
@unknown(pc95:cj,
 author       = "Corrado Priami",
 year         = "1995",
 title        = "Stochastic pi-Calculus",
 journal      = "Comput. J.",
 volume       = "38",
 number       = "7",
 pages        = "578--589",
 url          = "http://dx.doi.org/10.1093/comjnl/38.7.578",
)
@unknown(br2014:eqgsos,
 author       = "Jurriaan Rot and Marcello M. Bonsangue",
 year         = "2014",
 title        = "Combining Bialgebraic Semantics and Equations",
 editor       = "Anca Muscholl",
 booktitle    = "FoSSaCS",
 series       = "Lecture Notes in Computer Science",
 volume       = "8412",
 publisher    = "Springer",
 pages        = "381--395",
 url          = "http://dx.doi.org/10.1007/978-3-642-54830-7_25",
)
@unknown(rutten:universal,
 author       = "Jan J. M. M. Rutten",
 year         = "2000",
 title        = "Universal coalgebra: a theory of systems",
 journal      = "Theoretical Computer Science",
 volume       = "249",
 number       = "1",
 pages        = "3--80",
 url          = "http://dx.doi.org/10.1016/S0304-3975(00)00056-6",
)
@unknown(sl:njc95,
 author       = "Roberto Segala and Nancy A. Lynch",
 year         = "1995",
 title        = "Probabilistic Simulations for Probabilistic Processes",
 journal      = "Nord. J. Comput.",
 volume       = "2",
 number       = "2",
 pages        = "250--273",
)
@unknown(tofts1990:synchronous,
 author       = "Chris M. N. Tofts",
 year         = "1990",
 title        = "A Synchronous Calculus of Relative Frequency",
 editor       = "Jos C. M. Baeten and Jan Willem Klop",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "458",
 publisher    = "Springer",
 pages        = "467--480",
 url          = "http://dx.doi.org/10.1007/BFb0039078",
)
@unknown(tp97:tmos,
 author       = "Daniele Turi and Gordon Plotkin",
 year         = "1997",
 title        = "Towards a mathematical operational semantics",
 booktitle    = "Proc.~LICS",
 publisher    = "IEEE Computer Society Press",
 pages        = "280--291",
)