@incollection(kucera:04,
 author       = "T. Br\'{a}zdil and A. Ku\v {c}era and O. Stra\v {z}ovsk\'{y}",
 year         = "2004",
 title        = "Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems",
 editor       = "P. Gardner and N. Yoshida",
 booktitle    = "CONCUR 2004",
 series       = "Lecture Notes in Computer Science",
 volume       = "3170",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "193--208",
 doi          = "10.1007/978-3-540-28644-8\_13",
)
@inproceedings(segala:02,
 author       = "S. Cattani and R. Segala",
 year         = "2002",
 title        = "Decision Algorithms for Probabilistic Bisimulation",
 booktitle    = "CONCUR 2002",
 series       = "Lecture Notes in Computer Science",
 volume       = "2421",
 publisher    = "Springer",
 pages        = "371--385",
 doi          = "10.1007/3-540-45694-5\_25",
)
@article(panangaden:10,
 author       = "J. Desharnais and V. Gupta and R. Jagadeesan and P. Panangaden",
 year         = "2010",
 title        = "Weak bisimulation is sound and complete for {PCTL}$^{\unhbox \voidb@x \hbox {*}}$",
 journal      = "Inf. Comput.",
 volume       = "208",
 number       = "2",
 pages        = "203--219",
 doi          = "10.1016/j.ic.2009.11.002",
)
@inproceedings(tacas:13,
 author       = "C. Eisentraut and H. Hermanns and J. Schuster and A. Turrini and L. Zhang",
 year         = "2013",
 title        = "The Quest for Minimal Quotients for Probabilistic Automata",
 booktitle    = "TACAS 2013",
 series       = "Lecture Notes in Computer Science",
 volume       = "7795",
 publisher    = "Springer",
 pages        = "16--31",
 doi          = "10.1007/978-3-642-36742-7\_2",
)
@inproceedings(forejt:12,
 author       = "V. Forejt and P. Jancar and S. Kiefer and J. Worrell",
 year         = "2012",
 title        = "{Bisimilarity of Probabilistic Pushdown Automata}",
 booktitle    = "FSTTCS 2012",
 series       = "Leibniz International Proceedings in Informatics (LIPIcs)",
 volume       = "18",
 publisher    = "Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik, Germany",
 pages        = "448--460",
 doi          = "10.4230/LIPIcs.FSTTCS.2012.448",
 url          = "http://drops.dagstuhl.de/opus/volltexte/2012/3880",
)
@inproceedings(hermanns:12,
 author       = "H. Hermanns and A. Turrini",
 year         = "2012",
 title        = "{Deciding Probabilistic Automata Weak Bisimulation in Polynomial Time}",
 booktitle    = "FSTTCS 2012",
 series       = "Leibniz International Proceedings in Informatics (LIPIcs)",
 volume       = "18",
 publisher    = "Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik",
 address      = "Dagstuhl, Germany",
 pages        = "435--447",
 doi          = "10.4230/LIPIcs.FSTTCS.2012.435",
 url          = "http://drops.dagstuhl.de/opus/volltexte/2012/3879/",
)
@article(Krein1940,
 author       = "M. Krein and D. Milman",
 year         = "1940",
 title        = "On extreme points of regular convex sets",
 journal      = "Studia Mathematica",
 volume       = "9",
 number       = "1",
 pages        = "133--138",
 url          = "http://eudml.org/doc/219061",
)
@incollection(lynch2003compositionality,
 author       = "N. Lynch and R. Segala and F. Vaandrager",
 year         = "2003",
 title        = "Compositionality for probabilistic automata",
 booktitle    = "CONCUR 2003",
 publisher    = "Springer",
 pages        = "208--221",
 doi          = "10.1007/978-3-540-45187-7\_14",
)
@article(Segala:07,
 author       = "N. A. Lynch and R. Segala and F. W. Vaandrager",
 year         = "2007",
 title        = "Observing Branching Structure through Probabilistic Contexts",
 journal      = "SIAM J. Comput.",
 volume       = "37",
 number       = "4",
 pages        = "977--1013",
 doi          = "10.1147/S0097539704446487",
)
@incollection(parma2007logical,
 author       = "A. Parma and R. Segala",
 year         = "2007",
 title        = "Logical characterizations of bisimulations for discrete probabilistic systems",
 booktitle    = "Foundations of Software Science and Computational Structures",
 publisher    = "Springer",
 pages        = "287--301",
 doi          = "10.1007/978-3-540-71389-0\_21",
)
@phdthesis(segala:95,
 author       = "R. Segala",
 year         = "1995",
 title        = "{Modeling and Verification of Randomized Distributed Real-Time Systems}",
 school       = "Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology",
 url          = "http://profs.sci.univr.it/~segala/www/phd.html",
)
@article(segala:95b,
 author       = "R. Segala and N. A. Lynch",
 year         = "1995",
 title        = "Probabilistic Simulations for Probabilistic Processes",
 journal      = "Nord. J. Comput.",
 volume       = "2",
 number       = "2",
 pages        = "250--273",
 doi          = "10.1007/BFb0015027",
)