@article(ABV94:ic,
 author       = {L. Aceto and B. Bloom and F.W. Vaandrager},
 year         = {1994},
 title        = {Turning {SOS} Rules into Equations},
 journal      = {Information and Computation},
 volume       = {111},
 pages        = {1--52},
 doi          = {10.1006/inco.1994.1040},
)
@inbook(AFV99:handbook,
 author       = {L. Aceto and W. Fokkink and C. Verhoef},
 year         = {1999},
 title        = {Handbook of Process Algebra},
 chapter      = {Chapter 3: Structural Operational Semantics},
 pages        = {197--292},
 publisher    = {Elsevier},
)
@article(AGT2012,
 author       = {S. Andova and S. Georgievska and Tr\v{c}ka, N.},
 year         = {2012},
 title        = {Branching bisimulation congruence for probabilistic systems},
 journal      = {Theoretical Computer Science},
 volume       = {413},
 pages        = {58--72},
 doi          = {10.1016/j.tcs.2011.07.020},
)
@article(BV04:jlap,
 author       = {J.C.M. Baeten and E.P. de Vink},
 year         = {2004},
 title        = {Axiomatizing {GSOS} with Termination},
 journal      = {Journal of Logic and Algebraic Programming},
 volume       = {60--61},
 pages        = {323--351},
 doi          = {10.1016/j.jlap.2004.03.001},
)
@phdthesis(Bart04,
 author       = {F. Bartels},
 year         = {2004},
 title        = {On Generalised Coinduction and Probabilistic Specification Formats},
 school       = {Vrije Universiteit Amsterdam},
)
@article(Bloom95,
 author       = {B. Bloom},
 year         = {1995},
 title        = {Structural operational semantics for weak bisimulations},
 journal      = {Theoretical Computer Science},
 volume       = {146},
 pages        = {25--68},
 doi          = {10.1016/0304-3975(94)00152-9},
)
@article(BIM95,
 author       = {B. Bloom and S. Istrail and A.R. Meyer},
 year         = {1995},
 title        = {Bisimulation can't be traced},
 journal      = {Journal of the 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      = {Journal of the ACM},
 volume       = {43},
 pages        = {863--914},
 doi          = {10.1145/234752.234756},
)
@article(CLT14:fi,
 author       = {V. Castiglioni and R. Lanotte and S. Tini},
 year         = {2014},
 title        = {A Specification Format for Rooted Branching Bisimulation},
 journal      = {Fundamenta Informaticae},
 volume       = {135},
 pages        = {355--369},
 doi          = {10.3233/FI-2014-1128},
)
@inproceedings(DGL14,
 author       = {P.R. D'Argenio and D. Gebler and M.D. Lee},
 year         = {2014},
 title        = {Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules},
 editor       = {A. Muscholl},
 booktitle    = {Proc.\ FoSSACS},
 publisher    = {LNCS 8412},
 pages        = {289--303},
 doi          = {10.1007/978-3-642-54830-7\_19},
)
@incollection(DL12,
 author       = {P.R. D'Argenio and M.D. Lee},
 year         = {2012},
 title        = {Probabilistic transition system specification: Congruence and full abstraction of bisimulation},
 editor       = {L. Birkedal},
 booktitle    = {Proc.\ FOSSACS},
 publisher    = {LNCS 7213},
 pages        = {452--466},
 doi          = {10.1007/978-3-642-28729-9\_30},
)
@incollection(EHKTZ2013,
 author       = {C. Eisentraut and H. Hermanns and J. Kr\"{a}mer and A. Turrini and Lijun Zhang},
 year         = {2013},
 title        = {Deciding Bisimilarities on Distributions},
 editor       = {K. Joshi and M. Siegle and M. Stoelinga and P.R. D'Argenio},
 booktitle    = {Proc.\ QEST},
 publisher    = {LNCS~8054},
 pages        = {72--88},
 doi          = {10.1007/978-3-642-40196-1\_6},
)
@inproceedings(Fok94:tacs,
 author       = {W. Fokkink},
 year         = {1994},
 title        = {The {tyft/tyxt} Format Reduces to Tree Rules},
 editor       = {M. Hagiya and J.C. Mitchell},
 booktitle    = {Proc.\ TACS 1994},
 publisher    = {LNCS 789},
 pages        = {440--453},
 doi          = {10.1007/3-540-57887-0\_109},
)
@article(Fok00,
 author       = {W. Fokkink},
 year         = {2000},
 title        = {Rooted Branching Bisimulation as a Congruence},
 journal      = {Journal of Computer and System Sciences},
 volume       = {60},
 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      = {Information and Computation},
 volume       = {146},
 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      = {Journal of Logic and Algebraic Programming},
 volume       = {60-61},
 pages        = {229--258},
 doi          = {10.1016/j.jlap.2004.03.007},
)
@incollection(vanG05,
 author       = {R.J. van Glabbeek},
 year         = {2005},
 title        = {On cool congruence formats for weak bisimulations},
 editor       = {Dang Van Hung and M. Wirsing},
 booktitle    = {Proc.\ ICTAC 2005},
 publisher    = {LNCS 3722},
 pages        = {318--333},
 doi          = {10.1007/11560647\_21},
)
@article(Gro93,
 author       = {J.F. Groote},
 year         = {1993},
 title        = {Transition system specifications with negative premises},
 journal      = {Theoretical Computer Science},
 volume       = {118},
 pages        = {263--299},
 doi          = {10.1016/0304-3975(93)90111-6},
)
@article(GV92,
 author       = {J.F. Groote and F. Vaandrager},
 year         = {1992},
 title        = {Structured Operational Semantics and Bisimulation as a Congruence},
 journal      = {Information and Computation},
 volume       = {100},
 pages        = {202--260},
 doi          = {10.1016/0890-5401(92)90013-6},
)
@phdthesis(Han91:phd,
 author       = {H. Hansson},
 year         = {1991},
 title        = {Time and probability in formal design of distributed systems},
 school       = {University of Uppsala},
)
@inproceedings(HT12,
 author       = {H. Hermanns and A. Turrini},
 year         = {2012},
 title        = {{Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time}},
 editor       = {D. D'Souza and T. Kavitha and J. Radhakrishnan},
 booktitle    = {FSTTCS 2012},
 volume       = {18},
 publisher    = {Dagstuhl},
 pages        = {435--447},
)
@inproceedings(Kli09:mosses,
 author       = {B. Klin},
 year         = {2009},
 title        = {Structural Operational Semantics for Weighted Transition Systems},
 editor       = {J. Palsberg},
 booktitle    = {Semantics and Algebraic Specification},
 publisher    = {LNCS 5700},
 pages        = {121--139},
 doi          = {10.1007/978-3-642-04164-8\_7},
)
@article(KS13:ic,
 author       = {B. Klin and V. Sassone},
 year         = {2013},
 title        = {Structural operational semantics for stochastic and weighted transition systems},
 journal      = {Information and Computation},
 volume       = {227},
 pages        = {58--83},
 doi          = {10.1016/j.ic.2013.04.001},
)
@article(LT09,
 author       = {R. Lanotte and S. Tini},
 year         = {2009},
 title        = {Probabilistic bisimulation as a congruence},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {10},
 pages        = {1--48},
 doi          = {10.1145/1462179.1462181},
)
@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},
 editor       = {B. Luttik and M.A. Reniers},
 booktitle    = {Proc.\ EXPRESS/SOS},
 publisher    = {EPTCS~89},
 pages        = {115--130},
 doi          = {10.4204/EPTCS.89.9},
)
@inproceedings(MP14,
 author       = {M. Miculan and M. Peressotti},
 year         = {2014},
 title        = {{GSOS} for non-deterministic processes with quantitative aspects},
 editor       = {N. Bertrand and L. Bortolussi},
 booktitle    = {Proc.\ QAPL 2014},
 publisher    = {EPTCS~154},
 pages        = {17--33},
 doi          = {10.4204/EPTCS.154.2},
)
@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      = {Theoretical Computer Science},
 volume       = {373},
 pages        = {238--272},
 doi          = {10.1016/j.tcs.2006.12.019},
)
@phdthesis(Seg95a,
 author       = {R. Segala},
 year         = {1995},
 title        = {Modeling and Verification of Randomized Distributed Real-Time Systems},
 school       = {MIT},
)
@article(SL95,
 author       = {R. Segala and N.A. Lynch},
 year         = {1995},
 title        = {Probabilistic simulations for probabilistic processes},
 journal      = {Nordic Journal of Computing},
 volume       = {2},
 pages        = {250--273},
)