@incollection(budde_theory_2014,
 author       = {Carlos\nobreakspace E. Budde and Pedro\nobreakspace R. D'Argenio and Pedro\nobreakspace S{\'a}nchez Terraf and Nicol{\'a}s Wolovick},
 year         = {2014},
 title        = {A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems},
 booktitle    = {Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer, Berlin, Heidelberg},
 pages        = {67--86},
 doi          = {10.1007/978-3-662-45489-3\_3},
)
@inproceedings(cleaveland1990automatically,
 author       = {Rance Cleaveland},
 year         = {1990},
 title        = {On automatically explaining bisimulation inequivalence},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {364--372},
 doi          = {10.1007/BFb0023750},
)
@article(dargenio_bisimulations_2012,
 author       = {Pedro\nobreakspace R. D'Argenio and Pedro\nobreakspace S{\'a}nchez Terraf},
 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},
)
@incollection(davoren_simulations_2007,
 author       = {J\nobreakspace M Davoren and Paulo Tabuada},
 year         = {2007},
 title        = {On {Simulations} and {Bisimulations} of {General} {Flow} {Systems}},
 booktitle    = {Hybrid {Systems}: {Computation} and {Control}},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {145--158},
 doi          = {10.1007/978-3-540-71493-4\_14},
)
@article(desharnais_bisimulation_2002,
 author       = {Jos{\'e}e Desharnais and Abbas Edalat and Prakash Panangaden},
 year         = {2002},
 title        = {Bisimulation for {Labelled} {Markov} {Processes}},
 journal      = {Information and Computation},
 volume       = {179},
 number       = {2},
 pages        = {163--193},
 doi          = {10.1006/inco.2001.2962},
)
@article(doberkat_stochastic_2005,
 author       = {E.\nobreakspace Doberkat},
 year         = {2005},
 title        = {Stochastic {Relations}: {Congruences}, {Bisimulations} and the {Hennessy}--{Milner} {Theorem}},
 journal      = {SIAM Journal on Computing},
 volume       = {35},
 number       = {3},
 pages        = {590--626},
 doi          = {10.1137/S009753970444346X},
)
@article(doberkat_hennessymilner_2007,
 author       = {Ernst-Erich Doberkat},
 year         = {2007},
 title        = {The {Hennessy}--{Milner} equivalence for continuous time stochastic logic with mu-operator},
 journal      = {Journal of Applied Logic},
 volume       = {5},
 number       = {3},
 pages        = {519--544},
 doi          = {10.1016/j.jal.2006.05.001},
)
@article(doberkat_stochastic_2017,
 author       = {Ernst-Erich Doberkat and S{\'a}nchez\nobreakspace Terraf, Pedro},
 year         = {2017},
 title        = {Stochastic non-determinism and effectivity functions},
 journal      = {Journal of Logic and Computation},
 volume       = {27},
 number       = {1},
 pages        = {357--394},
 doi          = {10.1093/logcom/exv049},
)
@incollection(ferlez_generalized_2014,
 author       = {James Ferlez and Rance Cleaveland and Steve Marcus},
 year         = {2014},
 title        = {Generalized {Synchronization} {Trees}},
 booktitle    = {Foundations of {Software} {Science} and {Computation} {Structures} ({FoSSaCS})},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {304--319},
 doi          = {10.1007/978-3-642-54830-7\_20},
)
@book(goldblatt_logics_1992,
 author       = {Robert Goldblatt},
 year         = {1992},
 title        = {Logics of {Time} and {Computation}},
 edition      = {{S}econd},
 publisher    = {CSLI Lecture Notes},
 address      = {Stanford University, Center for the Study of Language and Information},
 url          = {http://www.press.uchicago.edu/ucp/books/book/distributed/L/bo3615704.html},
)
@incollection(goldblatt_saturation_1995,
 author       = {Robert Goldblatt},
 year         = {1995},
 title        = {Saturation and the {Hennessy}-{Milner} {Property}},
 editor       = {Alban Ponse and Maarten de\nobreakspace Rijke and Yde Venema},
 booktitle    = {Modal {Logic} and {Process} {Algebra}: {A} {Bisimulation} {Perspective}},
 series       = {Center for the {Study} of {Language} and {Information} {Publication} {Lecture} {Notes}},
 publisher    = {Cambridge University Press},
 pages        = {107--129},
)
@incollection(goranko_model_2007,
 author       = {Valentin Goranko and Martin Otto},
 year         = {2007},
 title        = {Model theory of modal logic},
 editor       = {Patrick\nobreakspace Blackburn, Johan Van Benthem {and} Frank\nobreakspace Wolter},
 booktitle    = {Studies in {Logic} and {Practical} {Reasoning}},
 series       = {Handbook of {Modal} {Logic}},
 volume       = {3},
 publisher    = {Elsevier},
 pages        = {249--329},
 doi          = {10.1016/S1570-2464(07)80008-5},
)
@article(hennessy_algebraic_1985,
 author       = {Matthew Hennessy and Robin Milner},
 year         = {1985},
 title        = {Algebraic laws for nondeterminism and concurrency},
 journal      = {Journal of the ACM},
 doi          = {10.1145/2455.2460},
)
@incollection(hollenberg_hennessy-milner_1995,
 author       = {Marco Hollenberg},
 year         = {1995},
 title        = {Hennessy-{Milner} {Classes} and {Process} {Algebra}},
 editor       = {Alban Ponse and Maarten de\nobreakspace Rijke and Yde Venema},
 booktitle    = {Modal {Logic} and {Process} {Algebra}: {A} {Bisimulation} {Perspective}},
 series       = {Center for the {Study} of {Language} and {Information} {Publication} {Lecture} {Notes}},
 publisher    = {Cambridge University Press},
 pages        = {187--216},
)
@book(jech_set_2003,
 author       = {Thomas Jech},
 year         = {2003},
 title        = {Set {Theory}},
 edition      = {{T}hird {M}illenium},
 series       = {Springer {Monographs} in {Mathematics}},
 publisher    = {Springer-Verlag Berlin Heidelberg},
 doi          = {10.1007/3-540-44761-X},
)
@incollection(milner_handbook_1990,
 author       = {Robin Milner},
 year         = {1990},
 title        = {Operational and Algebraic Semantics of Concurrent Processes},
 booktitle    = {Handbook of {Theoretical} {Computer} {Science} ({Vol}. {B})},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
 pages        = {1201--1242},
 doi          = {10.1016/B978-0-444-88074-1.50024-X},
)
@article(terraf_bisimilarity_2015,
 author       = {Pedro\nobreakspace S{\'a}nchez Terraf},
 year         = {2015},
 title        = {Bisimilarity is not Borel},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--20},
 doi          = {10.1017/S0960129515000535},
)
@article(willems_behavioral_2007,
 author       = {Jan Willems},
 year         = {2007},
 title        = {The {Behavioral} {Approach} to {Open} and {Interconnected} {Systems}},
 journal      = {IEEE Control Systems Magazine},
 volume       = {27},
 number       = {6},
 pages        = {46--99},
 doi          = {10.1109/MCS.2007.906923},
)