@book(ABC10,
 author       = "A. Aldini and M. Bernardo and F. Corradini",
 year         = "2010",
 title        = "A Process Algebraic Approach to Software Architecture Design",
 publisher    = "Springer",
 doi          = "10.1007/978-1-84800-223-4",
)
@article(BBS95,
 author       = "J.C.M. Baeten and J.A. Bergstra and S.A. Smolka",
 year         = "1995",
 title        = "Axiomatizing Probabilistic Processes: {ACP} with Generative Probabilities",
 journal      = "Information and Computation",
 volume       = "121",
 pages        = "234--255",
 doi          = "10.1006/inco.1995.1135",
)
@article(BKHW05,
 author       = "C. Baier and J.-P. Katoen and H. Hermanns and V. Wolf",
 year         = "2005",
 title        = "Comparative Branching-Time Semantics for {M}arkov Chains",
 journal      = "Information and Computation",
 volume       = "200",
 pages        = "149--214",
 doi          = "10.1016/j.ic.2005.03.001",
)
@inproceedings(BDL10,
 author       = "M. Bernardo and R. {De Nicola} and M. Loreti",
 year         = "2010",
 title        = "Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes",
 booktitle    = "Proc.\ of the 5th Int.\ Symp.\ on Trustworthy Global Computing (TGC 2010)",
 series       = "LNCS",
 volume       = "6084",
 publisher    = "Springer",
 pages        = "35--56",
 doi          = "10.1007/978-3-642-15640-3",
)
@unpublished(BDL11,
 author       = "M. Bernardo and R. {De Nicola} and M. Loreti",
 year         = "2011",
 title        = "A Uniform Framework for Process Models and Behavioral Equivalences of Nondeterministic, Probabilistic, Stochastic, or Mixed Nature",
 note         = "Submitted for journal publication",
)
@article(BHR84,
 author       = "S.D. Brookes and C.A.R. Hoare and A.W. Roscoe",
 year         = "1984",
 title        = "A Theory of Communicating Sequential Processes",
 journal      = "Journal of the ACM",
 volume       = "31",
 pages        = "560--599",
 doi          = "10.1145/828.833",
)
@article(DH84,
 author       = "R. {De Nicola} and M. Hennessy",
 year         = "1984",
 title        = "Testing Equivalences for Processes",
 journal      = "Theoretical Computer Science",
 volume       = "34",
 pages        = "83--133",
 doi          = "10.1016/0304-3975(84)90113-0",
)
@inproceedings(DLLM09b,
 author       = "R. {De Nicola} and D. Latella and M. Loreti and M. Massink",
 year         = "2009",
 title        = "On a Uniform Framework for the Definition of Stochastic Process Languages",
 booktitle    = "Proc.\ of the 14th Int.\ Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009)",
 series       = "LNCS",
 volume       = "5825",
 publisher    = "Springer",
 pages        = "9--25",
 doi          = "10.1007/978-3-642-04570-7\_2",
)
@inproceedings(DLLM09a,
 author       = "R. {De Nicola} and D. Latella and M. Loreti and M. Massink",
 year         = "2009",
 title        = "Rate-Based Transition Systems for Stochastic Process Calculi",
 booktitle    = "Proc.\ of the 36th Int.\ Coll.\ on Automata, Languages and Programming (ICALP 2009)",
 series       = "LNCS",
 volume       = "5556",
 publisher    = "Springer",
 pages        = "435--446",
 doi          = "10.1007/978-3-642-02930-1\_36",
)
@techreport(DLLM11,
 author       = "R. {De Nicola} and D. Latella and M. Loreti and M. Massink",
 year         = "2011",
 title        = "State to Function Labelled Transition Systems: A Uniform Framework for Defining Stochastic Process Calculi",
 type         = "Technical Report",
 institution  = "CNR-ISTI",
 url          = "http://puma.isti.cnr.it/download.php?DocFile=2011-TR-012_0.pdf&idcode=2011-TR-012&authority=cnr.isti&collection=cnr.isti",
)
@inproceedings(Gla01,
 author       = "R.J. van Glabbeek",
 year         = "2001",
 title        = "The Linear Time -- Branching Time Spectrum {I}",
 booktitle    = "Handbook of Process Algebra",
 publisher    = "Elsevier",
 pages        = "3--99",
 doi          = "10.1007/BFb0039066",
)
@article(HM85,
 author       = "M. Hennessy and R. Milner",
 year         = "1985",
 title        = "Algebraic Laws for Nondeterminism and Concurrency",
 journal      = "Journal of the ACM",
 volume       = "32",
 pages        = "137--162",
 doi          = "10.1145/2455.2460",
)
@book(Her02,
 author       = "H. Hermanns",
 year         = "2002",
 title        = "Interactive {M}arkov Chains",
 publisher    = "Springer",
 doi          = "10.1007/3-540-45804-2",
 note         = "Volume 2428 of LNCS",
)
@book(Hil96,
 author       = "J. Hillston",
 year         = "1996",
 title        = "A Compositional Approach to Performance Modelling",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511569951",
)
@inproceedings(JS90,
 author       = "C.-C. Jou and S.A. Smolka",
 year         = "1990",
 title        = "Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes",
 booktitle    = "Proc.\ of the 1st Int.\ Conf.\ on Concurrency Theory (CONCUR 1990)",
 series       = "LNCS",
 volume       = "458",
 publisher    = "Springer",
 pages        = "367--383",
 doi          = "10.1007/BFb0039071",
)
@article(Kel76,
 author       = "R.M. Keller",
 year         = "1976",
 title        = "Formal Verification of Parallel Programs",
 journal      = "Communications of the ACM",
 volume       = "19",
 pages        = "371--384",
 doi          = "10.1145/360248.360251",
)
@article(Sei95,
 author       = "K. Seidel",
 year         = "1995",
 title        = "Probabilistic Communicating Processes",
 journal      = "Theoretical Computer Science",
 volume       = "152",
 pages        = "219--249",
 doi          = "10.1016/0304-3975(94)00286-0",
)
@book(Ste94,
 author       = "W.J. Stewart",
 year         = "1994",
 title        = "Introduction to the Numerical Solution of Markov Chains",
 publisher    = "Princeton University Press",
 url          = "http://press.princeton.edu/titles/5640.html",
)