@inproceedings(SAC15,
 author       = {Yehia Abd Alrahman and {De Nicola}, Rocco and Michele Loreti and Francesco Tiezzi and Roberto Vigo},
 year         = {2015},
 title        = {A Calculus for Attribute-based Communication},
 booktitle    = {Proceedings of SAC 2015},
 doi          = {10.1145/2695664.2695668},
 note         = {To appear},
)
@article(empa,
 author       = {Marco Bernardo and Roberto 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(bohnenkampDHK06,
 author       = {H.C. Bohnenkamp and P.R. D'Argenio and H. Hermanns and J-P. Katoen},
 year         = {2006},
 title        = {{MODEST:} {A} Compositional Modeling Formalism for Hard and Softly Timed Systems},
 journal      = {{IEEE} Trans. Software Eng.},
 volume       = {32},
 number       = {10},
 pages        = {812--830},
 doi          = {10.1109/TSE.2006.104},
)
@article(BP10,
 author       = {Luca Bortolussi and Alberto Policriti},
 year         = {2010},
 title        = {Hybrid dynamics of stochastic programs},
 journal      = {Theor. Comput. Sci.},
 volume       = {411},
 number       = {20},
 pages        = {2052--2077},
 doi          = {10.1016/j.tcs.2010.02.008},
)
@article(ciocchetta2009bio,
 author       = {Federica Ciocchetta and Jane Hillston},
 year         = {2009},
 title        = {{Bio-PEPA}: A Framework for the Modelling and Analysis of Biological Systems},
 journal      = {Theoretical Computer Science},
 volume       = {410},
 number       = {33},
 pages        = {3065--3084},
 doi          = {10.1016/j.tcs.2009.02.037},
)
@article(DeM09,
 author       = {De Maio, Paola},
 year         = {2009},
 title        = {Bike-sharing: Its History, Impacts, Models of Provision, and Future.},
 journal      = {Journal of Public Transportation},
 volume       = {12},
 number       = {4},
 pages        = {41--56},
 doi          = {10.5038/2375-0901.12.4.3},
)
@article(DLLM13,
 author       = {{De Nicola}, Rocco and Diego Latella and Michele Loreti and Mieke Massink},
 year         = {2013},
 title        = {A uniform definition of stochastic process calculi},
 journal      = {{ACM} Comput. Surv.},
 volume       = {46},
 number       = {1},
 pages        = {5},
 doi          = {10.1145/2522968.2522973},
)
@article(NicolaLPT14,
 author       = {{De Nicola}, Rocco and Michele Loreti and Rosario Pugliese and Francesco Tiezzi},
 year         = {2014},
 title        = {A Formal Approach to Autonomic Systems Programming: The {SCEL} Language},
 journal      = {{TAAS}},
 volume       = {9},
 number       = {2},
 pages        = {7},
 doi          = {10.1145/2619998},
)
@inproceedings(palomaqest14,
 author       = {Cheng Feng and Jane Hillston},
 year         = {2014},
 title        = {{PALOMA:} {A} Process Algebra for Located Markovian Agents},
 booktitle    = {Quantitative Evaluation of Systems - 11th International Conference, {QEST} 2014, Florence, Italy, September 8-10, 2014. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8657},
 publisher    = {Springer},
 pages        = {265--280},
 doi          = {10.1007/978-3-319-10696-0\_22},
)
@article(Gil76,
 author       = {Daniel T Gillespie},
 year         = {1976},
 title        = {A general method for numerically simulating the stochastic time evolution of coupled chemical reactions},
 journal      = {Journal of Computational Physics},
 volume       = {22},
 number       = {4},
 pages        = {403 -- 434},
 doi          = {10.1016/0021-9991(76)90041-3},
)
@article(HermannsHK02,
 author       = {Holger Hermanns and Ulrich Herzog and Joost{-}Pieter Katoen},
 year         = {2002},
 title        = {Process algebra for performance evaluation},
 journal      = {Theor. Comput. Sci.},
 volume       = {274},
 number       = {1-2},
 pages        = {43--87},
 doi          = {10.1016/S0304-3975(00)00305-4},
)
@inproceedings(mtipp,
 author       = {Holger Hermanns and Michael Rettelbach},
 year         = {1994},
 title        = {{Syntax, Semantics, Equivalences and Axioms for MTIPP}},
 editor       = {U. Herzog and M. Rettelbach},
 booktitle    = {Proc.\ of 2nd Process Algebra and Performance Modelling Workshop},
)
@book(hillston1995compositional,
 author       = {Jane Hillston},
 year         = {1995},
 title        = {A Compositional Approach to Performance Modelling},
 publisher    = {CUP},
)
@inproceedings(LLMS14,
 author       = {Diego Latella and Michele Loreti and Mieke Massink and Valerio Senni},
 year         = {2014},
 title        = {Stochastically timed predicate-based communication primitives for autonomic computing},
 editor       = {Nathalie Bertrand and Luca Bortolussi},
 booktitle    = {Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2014, Grenoble, France, 12-13 April 2014.},
 series       = {{EPTCS}},
 volume       = {154},
 pages        = {1--16},
 doi          = {10.4204/EPTCS.154.1},
)
@article(priami1995stochastic,
 author       = {Corrado Priami},
 year         = {1995},
 title        = {Stochastic $\pi$-calculus},
 journal      = {The Computer Journal},
 volume       = {38},
 number       = {7},
 pages        = {578--589},
 doi          = {10.1093/comjnl/38.7.578},
)
@article(tribastone2012scalable,
 author       = {Mirco Tribastone and Stephen Gilmore and Jane Hillston},
 year         = {2012},
 title        = {Scalable Differential Analysis of Process Algebra Models},
 journal      = {IEEE Transactions on Software Engineering},
 volume       = {38},
 number       = {1},
 pages        = {205--219},
 doi          = {10.1109/TSE.2010.82},
)
@misc(wiki:bikes,
 author       = {Wikipedia},
 year         = {2013},
 title        = {Bicycle sharing system --- Wikipedia{,} The Free Encyclopedia},
 url          = {http://en.wikipedia.org/w/index.php?title=Bicycle\_sharing\_system\&oldid=573165089},
 note         = {[Online; accessed 17-September-2013]},
)