@article(AP04:tcs,
 author       = {J. Ad\'amek and H.-E. Porst},
 year         = {2004},
 title        = {On tree coalgebras and coalgebra presentations},
 journal      = {Theoretical Computer Science},
 volume       = {311},
 pages        = {257--283},
 doi          = {10.1016/S0304-3975(03)00378-5},
)
@article(AGT12:tcs,
 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},
)
@book(Bai98:hab,
 author       = {C. Baier},
 year         = {1998},
 title        = {On Algorithmic Verification Methods for Probabilistic Systems},
 publisher    = {University of Mannheim},
 note         = {Hablitations Thesis},
)
@article(BHKW06:entcs,
 author       = {C. Baier and H. Hermanns and J.-P. Katoen and V. Wolf},
 year         = {2006},
 title        = {Bisimulation and Simulation Relations for {Markov} Chains},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {162},
 pages        = {73--78},
 doi          = {10.1016/j.entcs.2005.12.078},
)
@article(BSV04:tcs,
 author       = {F. Bartels and A. Sokolova and E.P. de Vink},
 year         = {2004},
 title        = {A hierarchy of probabilistic system types},
 journal      = {Theoretical Computer Science},
 volume       = {327},
 pages        = {3--22},
 doi          = {10.1016/j.tcs.2004.07.019},
)
@article(BDL13:ic,
 author       = {M. Bernardo and {De Nicola}, R. and M. 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},
 doi          = {10.1016/j.ic.2013.02.004},
)
@article(BBBRS12,
 author       = {F. Bonchi and M. Bonsangue and M. Boreale and J. Rutten and A. Silva},
 year         = {2012},
 title        = {A coalgebraic perspective on linear weighted automata},
 journal      = {Information and Computation},
 volume       = {211},
 pages        = {77--105},
 doi          = {10.1016/j.ic.2011.12.002},
)
@article(BMP14,
 author       = {T. Brengos and M. Miculan and M. Peressotti},
 year         = {2014},
 title        = {Behavioural equivalences for coalgebras with unobservable moves},
 journal      = {CoRR},
 volume       = {abs/1411.0090},
 url          = {http://arxiv.org/abs/1411.0090},
)
@inproceedings(CR11:concur,
 author       = {S. Crafa and F. Ranzato},
 year         = {2011},
 title        = {A Spectrum of Behavioral Relations over {LTSs} on Probability Distributions},
 editor       = {J.{-}.P Katoen and B. K{\"{o}}nig},
 booktitle    = {Proc.\ {CONCUR} 2011},
 publisher    = {LNCS 6901},
 pages        = {124--139},
 doi          = {10.1007/978-3-642-23217-6\_9},
)
@inproceedings(DLLM09:icalp,
 author       = {{De Nicola}, R. 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},
)
@article(DLLM13:cs,
 author       = {{De Nicola}, R. and D. Latella and M. Loreti and M. Massink},
 year         = {2013},
 title        = {A Uniform Definition of Stochastic Process Calculi},
 journal      = {ACM Computing Surveys},
 volume       = {46},
 pages        = {5:1--5:35},
 doi          = {10.1145/2522968.2522973},
)
@inproceedings(EHZ10:concur,
 author       = {C. Eisentraut and H. Hermanns and Lijun 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},
)
@inproceedings(EHZ10:lics,
 author       = {C. Eisentraut and H. Hermanns and Lijun Zhang},
 year         = {2010},
 title        = {On Probabilistic Automata in Continuous Time},
 booktitle    = {Proc.\ LICS, Edinburgh},
 publisher    = {IEEE Computer Society},
 pages        = {342--351},
)
@article(Hen12:facs,
 author       = {M. Hennessy},
 year         = {2012},
 title        = {Exploring probabilistic bisimulations, part~{I}},
 journal      = {Formal Aspects of Computing},
 volume       = {24},
 pages        = {749--768},
 doi          = {10.1007/s00165-012-0242-7},
)
@book(Her02:springer,
 author       = {H. Hermanns},
 year         = {2002},
 title        = {Interactive {Markov} Chains: The Quest for Quantified Quality},
 publisher    = {LNCS 2428},
 doi          = {10.1007/3-540-45804-2},
)
@inproceedings(HK10:fmco,
 author       = {H. Hermanns and J.-P. Katoen},
 year         = {20010},
 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},
 doi          = {10.1017/CBO9780511569951},
)
@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},
)
@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},
)
@article(LS91:ic,
 author       = {K.G. Larsen and A. Skou},
 year         = {1991},
 title        = {Bisimulation through Probabilistic Testing},
 journal      = {Information and Computation},
 volume       = {94},
 pages        = {1--28},
 doi          = {10.1016/0890-5401(91)90030-6},
)
@techreport(LMV13,
 author       = {D. Latella and M. Massink and {de Vink}, E.P.},
 year         = {2013},
 title        = {{Coalgebraic Bisimulation of FuTS}},
 type         = {Technical Report},
 number       = {TR 09},
 institution  = {{ASCENS}: Autonomic Service-Component Ensembles (EU Proj.\ 257414)},
)
@unpublished(LMV15:mscs,
 author       = {D. Latella and M. Massink and E.P. de Vink},
 title        = {Bisimulation of Labeled State-to-Function Transition Systems Co\-algebraically},
 note         = {Submitted},
)
@inproceedings(LMV12:accat,
 author       = {D. Latella and M. Massink and E.P. de Vink},
 year         = {2012},
 title        = {Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages},
 editor       = {U. Golas and T. Soboll},
 booktitle    = {Proc.\ ACCAT 2012},
 publisher    = {EPTSC~93},
 pages        = {23--43},
 doi          = {10.4204/EPTCS.93.2},
)
@article(MiP13,
 author       = {M. Miculan and M. 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},
)
@inproceedings(MP14:qapl,
 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},
)
@book(Pan09:icp,
 author       = {P. Panangaden},
 year         = {2009},
 title        = {Labelled {Markov} Processes},
 publisher    = {Imperial College Press},
 doi          = {10.1142/9781848162891},
)
@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(SL95:njc,
 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},
)
@article(Sok11:tcs,
 author       = {A. Sokolova},
 year         = {2011},
 title        = {Probabilistic systems coalgebraically: {A} survey},
 journal      = {Theoretical Computer Science},
 volume       = {412},
 pages        = {5095--5110},
 doi          = {10.1016/j.tcs.2011.05.008},
)
@article(SVW09:sacs,
 author       = {A. Sokolova and E.P. de Vink and H. Woracek},
 year         = {2009},
 title        = {Coalgebraic Weak Bisimulation for Action-Type Systems},
 journal      = {Scientific Annals of Computer Science},
 volume       = {19},
 pages        = {93--144},
)
@article(Sta11:lmcs,
 author       = {S. Staton},
 year         = {2011},
 title        = {Relating coalgebraic notions of bisimulation},
 journal      = {Logical Methods in Computer Science},
 volume       = {7},
 pages        = {1--21},
 doi          = {10.2168/LMCS-7(1:13)2011},
)
@inproceedings(TKPS12:concur,
 author       = {M. Timmer and J.-P. Katoen and {van de Pol}, J. and M. Stoelinga},
 year         = {2012},
 title        = {Efficient Modelling and Generation of {Markov} Automata},
 editor       = {M. Koutny and I. Ulidowski},
 booktitle    = {Proc.\ CONCUR 2012},
 publisher    = {LNCS 7454},
 pages        = {364--379},
 doi          = {10.1007/978-3-642-32940-1\_26},
)