@book(aldini2009process,
 author       = "A. Aldini and M. Bernardo and F. Corradini",
 year         = "2009",
 title        = "{A process algebraic approach to software architecture design}",
 publisher    = "Springer-Verlag New York Inc",
)
@article(bergstra1984process,
 author       = "J.A. Bergstra and J.W. Klop",
 year         = "1984",
 title        = "{Process algebra for synchronous communication}",
 journal      = "Information and Control",
 volume       = "60",
 number       = "1-3",
 pages        = "109--137",
 doi          = "10.1016/S0019-9958(84)80025-X",
)
@conference(bernardo2007weak,
 author       = "M. Bernardo and A. Aldini",
 year         = "2007",
 title        = "{Weak Markovian bisimilarity: abstracting from prioritized/weighted internal immediate actions}",
 booktitle    = "Theoretical Computer Science: Proceedings of the 10th Italian Conference on ICTCS'07",
 organization = "World Scientific Pub Co Inc",
 pages        = "39",
 doi          = "10.1142/9789812770998(0)0008",
)
@article(bernardo2010uniform,
 author       = "M. Bernardo and R. De Nicola and M. Loreti",
 year         = "2010",
 title        = "{Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Processes}",
 journal      = "Trustworthly Global Computing",
 pages        = "35--56",
 doi          = "10.1007/978-3-642-15640-3(0)3",
)
@article(bernardo1994mpa,
 author       = "M. Bernardo and L. Donatiello and R. Gorrieri",
 year         = "1994",
 title        = "{MPA: a stochastic process algebra}",
 journal      = "University of Bologna",
)
@article(bernardo1998tutorial,
 author       = "M. Bernardo and R. Gorrieri",
 year         = "1998",
 title        = "{A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time}",
 journal      = "Theoretical Computer Science",
 volume       = "202",
 number       = "1-2",
 pages        = "1--54",
 doi          = "10.1016/S0304-3975(97)00127-8",
)
@article(buzen1973computational,
 author       = "J.P. Buzen",
 year         = "1973",
 title        = "{Computational Algorithms for Closed Queueing Networks with Exponential Servers}",
 journal      = "Communications of the ACM",
 volume       = "16",
 number       = "9",
 pages        = "527--531",
 doi          = "10.1145/362342.362345",
)
@article(de2007model,
 author       = "R. De Nicola and J.P. Katoen and D. Latella and M. Loreti and M. Massink",
 year         = "2007",
 title        = "{Model checking mobile stochastic logic}",
 journal      = "Theoretical Computer Science",
 volume       = "382",
 number       = "1",
 pages        = "42--70",
 doi          = "10.1145/362342.362345",
)
@article(de2009rate,
 author       = "R. De Nicola and D. Latella and M. Loreti and M. Massink",
 year         = "2009",
 title        = "{Rate-based transition systems for stochastic process calculi}",
 journal      = "Automata, Languages and Programming",
 pages        = "435--446",
 doi          = "10.1007/978-3-642-02930-1(0)36",
)
@article(van1988jackson,
 author       = "N.M. van Dijk",
 year         = "1988",
 title        = "{On Jackson's product form with jump-over blocking}",
 journal      = "Operations Research Letters",
 volume       = "7",
 number       = "5",
 pages        = "233--235",
 doi          = "10.1016/0167-6377(88)90037-5",
)
@article(gotz1993multiprocessor,
 author       = "N. G\"{o}tz and U. Herzog and M. Rettelbach",
 year         = "1993",
 title        = "{Multiprocessor and distributed system design: The integration of functional specification and performance analysis using stochastic process algebras}",
 journal      = "Performance evaluation of computer and communication systems",
 pages        = "121--146",
 doi          = "10.1007/BFb0013851",
)
@article(harrison2004reversed,
 author       = "P.G. Harrison",
 year         = "2004",
 title        = "{Reversed processes, product forms and a non-product form}",
 journal      = "Linear Algebra and Its Applications",
 volume       = "386",
 pages        = "359--381",
 doi          = "10.1016/j.laa.2004.02.020",
)
@book(hermanns2002interactive,
 author       = "H. Hermanns",
 year         = "2002",
 title        = "{Interactive markov chains}",
 publisher    = "Springer",
 doi          = "10.1007/3-540-45804-2(0)5",
)
@article(hermanns1995formal,
 author       = "H. Hermanns and M. Rettelbach and T. Weiss",
 year         = "1995",
 title        = "{Formal characterisation of immediate actions in SPA with nondeterministic branching}",
 journal      = "The Computer Journal",
 volume       = "38",
 number       = "7",
 pages        = "530",
 doi          = "10.1093/comjnl/38.7.530",
)
@book(hillston1996compositional,
 author       = "J. Hillston",
 year         = "1996",
 title        = "{A compositional approach to performance modelling}",
 publisher    = "Cambridge University Press",
)
@article(hillston1999product,
 author       = "J. Hillston and N. Thomas",
 year         = "1999",
 title        = "{Product form solution for a class of PEPA models}",
 journal      = "Performance Evaluation",
 volume       = "35",
 number       = "3-4",
 pages        = "171--192",
 doi          = "10.1016/S0166-5316(99)00005-X",
)
@article(hoare1978communicating,
 author       = "C.A.R. Hoare",
 year         = "1978",
 title        = "{Communicating sequential processes}",
 journal      = "Communications of the ACM",
 volume       = "21",
 number       = "8",
 pages        = "677",
 doi          = "10.1145/357980.358021",
)
@article(lee1989approximate,
 author       = "H.S. Lee and S.M. Pollock",
 year         = "1989",
 title        = "{Approximate analysis for the merge configuration of an open queueing network with blocking}",
 journal      = "IIE transactions",
 volume       = "21",
 number       = "2",
 pages        = "122--129",
 doi          = "10.1080/07408178908966215",
)
@book(milner1989communication,
 author       = "R. Milner",
 year         = "1989",
 title        = "{Communication and concurrency}",
 publisher    = "Prentice Hall International Series in Computer Science",
)
@article(priami1995stochastic,
 author       = "C. Priami",
 year         = "1995",
 title        = "{Stochastic $\pi $-calculus}",
 journal      = "The Computer Journal",
 volume       = "38",
 number       = "7",
 pages        = "578",
)
@article(vigliotti2006stochastic,
 author       = "M.G. Vigliotti and P.G. Harrison",
 year         = "2006",
 title        = "{Stochastic ambient calculus}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "164",
 number       = "3",
 pages        = "169--186",
 doi          = "10.1016/j.entcs.2006.07.018",
)