@article(DBLP:journals/iandc/BaetenBS95,
 author       = "Jos C. M. Baeten and Jan A. Bergstra and Scott A. Smolka",
 year         = "1995",
 title        = "Axiomatizing Probabilistic Processes: {ACP} with Generative Probabilities",
 journal      = "Inf. Comput.",
 volume       = "121",
 number       = "2",
 pages        = "234--255",
 doi          = "10.1006/inco.1995.1135",
)
@article(DBLP:journals/entcs/Bartels02,
 author       = "Falk Bartels",
 year         = "2002",
 title        = "{GSOS} for Probabilistic Transition Systems",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "65",
 number       = "1",
)
@phdthesis(Bartels2004,
 author       = "Falk Bartels",
 year         = "2004",
 title        = "On Generalised Coinduction and Probabilistic Specification Formats",
 school       = "Vrije Universiteit",
)
@article(Bloom:2004:PFD:963927.963929,
 author       = "Bard Bloom and Wan Fokkink and Rob 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(BloomIM95:jacm,
 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",
 doi          = "10.1145/200836.200876",
)
@article(BolGroote96,
 author       = "Roland Bol and Jan Friso Groote",
 year         = "1996",
 title        = "The meaning of negative premises in transition system specifications",
 journal      = "J. ACM",
 volume       = "43",
 number       = "5",
 pages        = "863--914",
 doi          = "10.1145/234752.234756",
)
@inproceedings(DL-fossacs12,
 author       = "Pedro R. D'Argenio and Matias David Lee",
 year         = "2012",
 title        = "Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation",
 booktitle    = "FoSSaCS",
 series       = "LNCS",
 volume       = "7213",
 publisher    = "Springer",
 pages        = "452--466",
 doi          = "10.1007/978-3-642-28729-9\_30",
)
@article(Fokkink1997183,
 author       = "Wan Fokkink",
 year         = "1997",
 title        = "Unification for infinite sets of equations between finite terms",
 journal      = "Information Processing Letters",
 volume       = "62",
 number       = "4",
 pages        = "183 -- 188",
 doi          = "10.1016/S0020-0190(97)00063-X",
)
@article(FokkinkvanGlabbeek96,
 author       = "Wan Fokkink and Rob J. van Glabbeek",
 year         = "1996",
 title        = "Ntyft/Ntyxt Rules Reduce to Ntree Rules",
 journal      = "Inf. Comput.",
 volume       = "126",
 number       = "1",
 pages        = "1--10",
 doi          = "10.1006/inco.1996.0030",
)
@inproceedings(Gebler:2012:phml_lt_sos,
 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 2012",
 series       = "LNCS",
 volume       = "7454",
 publisher    = "Springer",
 pages        = "395--409",
)
@article(vanGlabbeek04,
 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(DBLP:journals/iandc/GlabbeekSS95,
 author       = "Rob J. van Glabbeek and Scott A. Smolka and Bernhard Steffen",
 year         = "1995",
 title        = "Reactive, Generative and Stratified Models of Probabilistic Processes",
 journal      = "Inf. Comput.",
 volume       = "121",
 number       = "1",
 pages        = "59--80",
 doi          = "10.1006/inco.1995.1123",
)
@article(Groote93,
 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(GrooteVaandrager92,
 author       = "Jan Friso Groote and Frits 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",
)
@inproceedings(klin2008structural,
 author       = "Bartek Klin and Vladimiro Sassone",
 year         = "2008",
 title        = "Structural operational semantics for stochastic process calculi",
 booktitle    = "FoSSaCS",
 series       = "LNCS",
 volume       = "4962",
 publisher    = "Springer",
 pages        = "428--442",
 doi          = "10.1007/978-3-540-78499-9\_30",
)
@article(DBLP:journals/tocl/LanotteT09,
 author       = "Ruggero Lanotte and Simone Tini",
 year         = "2009",
 title        = "Probabilistic bisimulation as a congruence",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "10",
 number       = "2",
 doi          = "10.1145/1462179.1462181",
)
@article(LarsenSkou91,
 author       = "Kim Guldstrand Larsen and Arne Skou",
 year         = "1991",
 title        = "Bisimulation through Probabilistic Testing",
 journal      = "Inf. Comput.",
 volume       = "94",
 number       = "1",
 pages        = "1--28",
 doi          = "10.1016/0890-5401(91)90030-6",
)
@article(MousaviEtAl07,
 author       = "Mohammad Reza Mousavi and Michel A. Reniers and Jan Friso Groote",
 year         = "2007",
 title        = "{SOS} formats and meta-theory: 20 years after",
 journal      = "Theor. Comput. Sci.",
 volume       = "373",
 number       = "3",
 pages        = "238--272",
 doi          = "10.1016/j.tcs.2006.12.019",
)
@techreport(Plotkin81,
 author       = "Gordon D. Plotkin",
 year         = "1981",
 title        = "A structural approach to operational semantics",
 type         = "Report",
 number       = "DAIMI FN-19",
 institution  = "Aarhus University",
 doi          = "10.1016/j.jlap.2004.05.001",
 note         = "Reprinted in \emph {J. Log. Algebr. Program.}, 60-61:17-139, 2004",
)
@phdthesis(Segala95,
 author       = "Roberto Segala",
 year         = "1995",
 title        = "Modeling and Verification of Randomized Distributed Real-Time Systems",
 school       = "MIT",
)