@incollection(AFV01:curretn-trends,
 author       = {L. Aceto and W.\ Fokkink and C. Verhoef},
 year         = {2001},
 title        = {Conservative Extension in Structural Operational Semantics},
 booktitle    = {Current Trends in Theoretical Computer Science},
 pages        = {504--524},
 doi          = {10.1142/9789812810403\_0004},
)
@incollection(AFV01,
 author       = {L. Aceto and W.\ Fokkink and C. Verhoef},
 year         = {2001},
 title        = {Structural operational semantics},
 booktitle    = {Handbook of Process Algebra},
 publisher    = {Elsevier},
 pages        = {197--292},
 doi          = {10.1016/B978-044482830-9/50021-7},
)
@phdthesis(Bai98,
 author       = {C. Baier},
 year         = {1998},
 title        = {On Algorithmics Verification Methods for Probabilistic Systems},
 type         = {Habilitation thesis},
 school       = {University of Mannheim},
)
@article(Bar02,
 author       = {F. Bartels},
 year         = {2002},
 title        = {{GSOS} for Probabilistic Transition Systems},
 journal      = {Electr. Notes Theor. Comput. Sci.},
 volume       = {65},
 number       = {1},
 pages        = {29--53},
 doi          = {10.1016/S1571-0661(04)80358-X},
)
@phdthesis(Bar04,
 author       = {F. Bartels},
 year         = {2004},
 title        = {On Generalised Coinduction and Probabilistic Specification Formats},
 school       = {VU University Amsterdam},
)
@article(BIM95,
 author       = {B. Bloom and S.\ Istrail and A.R. Meyer},
 year         = {1995},
 title        = {Bisimulation can't be traced},
 journal      = {J. ACM},
 volume       = {42},
 pages        = {232--268},
 doi          = {10.1145/200836.200876},
)
@article(BG96,
 author       = {R. Bol and J.F. Groote},
 year         = {1996},
 title        = {The meaning of negative premises in transition system specifications},
 journal      = {J. ACM},
 volume       = {43},
 pages        = {863--914},
 doi          = {10.1145/234752.234756},
)
@unpublished(DGL15a,
 author       = {P.R. D'Argenio and D. Gebler and M.D. Lee},
 year         = {2015},
 title        = {A general SOS theory for the specification of probabilistic transition systems},
 url          = {http://www.cs.famaf.unc.edu.ar/~lee/publications/DArgenioGeblerLee.pdf},
 note         = {Submitted},
)
@inproceedings(DL12,
 author       = {P.R. D'Argenio and M.D. 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(DTW12,
 author       = {P.R. D'Argenio and S{\'{a}}nchez Terraf, P. and N. Wolovick},
 year         = {2012},
 title        = {Bisimulations for non-deterministic labelled Markov processes},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {22},
 number       = {1},
 pages        = {43--68},
 doi          = {10.1017/S0960129511000454},
)
@article(Fok00,
 author       = {W. Fokkink},
 year         = {2000},
 title        = {Rooted Branching Bisimulation as a Congruence},
 journal      = {J. Comput. Syst. Sci.},
 volume       = {60},
 number       = {1},
 pages        = {13--37},
 doi          = {10.1006/jcss.1999.1663},
)
@article(FV98,
 author       = {W. Fokkink and C. Verhoef},
 year         = {1998},
 title        = {A Conservative Look at Operational Semantics with Variable Binding},
 journal      = {Inf. Comput.},
 volume       = {146},
 number       = {1},
 pages        = {24--54},
 doi          = {10.1006/inco.1998.2729},
)
@article(vG04,
 author       = {R.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       = {J.F. Groote},
 year         = {1993},
 title        = {Transition system specifications with negative premises},
 journal      = {Theoretical Computer Science},
 volume       = {118},
 number       = {2},
 pages        = {263--299},
 doi          = {10.1016/0304-3975(93)90111-6},
)
@article(GV92,
 author       = {J.F. Groote and F.W. 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},
)
@article(HPS11,
 author       = {H. Hermanns and A. Parma and R. Segala and B. Wachter and L. Zhang},
 year         = {2011},
 title        = {Probabilistic Logical Characterization},
 journal      = {Inf. Comput.},
 volume       = {209},
 number       = {2},
 pages        = {154--172},
 doi          = {10.1016/j.ic.2010.11.024},
)
@inproceedings(LT05,
 author       = {R. Lanotte and S. Tini},
 year         = {2005},
 title        = {Probabilistic Congruence for Semistochastic Generative Processes},
 booktitle    = {Foundations of Software Science and Computational Structures, 8th International Conference, {FOSSACS} 2005.},
 pages        = {63--78},
 doi          = {10.1007/978-3-540-31982-5\_4},
)
@article(LT09,
 author       = {R. Lanotte and S. Tini},
 year         = {2009},
 title        = {Probabilistic bisimulation as a congruence},
 journal      = {{ACM} Trans. Comput. Log.},
 volume       = {10},
 number       = {2},
 doi          = {10.1145/1462179.1462181},
)
@article(LS91,
 author       = {K.G. Larsen and A/ 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},
)
@inproceedings(LV15,
 author       = {M.D. Lee and {de Vink}, E.},
 year         = {2015},
 title        = {Rooted branching bisimulation as a congruence for probabilistic transition systems},
 booktitle    = {Proc.~QAPL'15},
 series       = {EPTCS},
 note         = {To appear},
)
@inproceedings(LGD12,
 author       = {M.D. Lee and D. Gebler and P.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},
)
@book(Mil89,
 author       = {R. Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice-Hall},
)
@article(MRG07,
 author       = {M.R. Mousavi and M.A. Reniers and J.F. 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(Plo04,
 author       = {G. Plotkin},
 year         = {1981},
 title        = {A structural approach to operational semantics},
 type         = {Report},
 number       = {DAIMI FN-19},
 institution  = {Aarhus University},
 doi          = {doi:10.1016/j.jlap.2004.05.001},
 note         = {Reprinted in \emph{J. Log. Algebr. Program.}, 60-61:17-139, 2004},
)
@phdthesis(Seg95a,
 author       = {R. Segala},
 year         = {1995},
 title        = {Modeling and Verification of Randomized Distributed Real-Time Systems},
 school       = {MIT},
)
@article(Tin10,
 author       = {S. Tini},
 year         = {2010},
 title        = {Non-expansive $\epsilon$-bisimulations for probabilistic processes},
 journal      = {Theor. Comput. Sci.},
 volume       = {411},
 number       = {22-24},
 pages        = {2202--2222},
 doi          = {10.1016/j.tcs.2010.01.027},
)