@techreport(Aldini00,
 author       = {A. Aldini and M. Bravetti},
 year         = {2000},
 title        = {An Asynchronous Calculus for Generative-Reactive Probabilistic Systems},
 type         = {Technical Report},
 number       = {UBLCS-2000-3},
 institution  = {University of Bologna},
 url          = {https://disi.unibo.it/it/ricerca/technical-report/2000/pdfs/2000-03.ps.gz},
)
@inproceedings(Andova99,
 author       = {S. Andova},
 year         = {1999},
 title        = {Process Algebra with Probabilistic Choice},
 booktitle    = {Formal Methods for Real-Time and Probabilistic Systems, 5th International {AMAST} Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings},
 pages        = {111--129},
 doi          = {10.1007/3-540-48778-6\_7},
)
@article(Bejleri09,
 author       = {A. Bejleri and N. Yoshida},
 year         = {2009},
 title        = {Synchronous Multiparty Session Types},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {241},
 pages        = {3--33},
 doi          = {10.1016/j.entcs.2009.06.002},
)
@inproceedings(Bocchi14,
 author       = {L. Bocchi and W. Yang and N. Yoshida},
 year         = {2014},
 title        = {Timed Multiparty Session Types},
 booktitle    = {{CONCUR} 2014 - Concurrency Theory - 25th International Conference, Rome, Italy, September 2-5, 2014. Proceedings},
 pages        = {419--434},
 doi          = {10.1007/978-3-662-44584-6\_29},
)
@inproceedings(Cooper14,
 author       = {R. Cooper and S. Dobnik and S. Lappin and S. Larsson},
 year         = {2014},
 title        = {A Probabilistic Rich Type Theory for Semantic Interpretation},
 booktitle    = {Proceedings of the {EACL} 2014 Workshop on Type Theory and Natural Language Semantics ({TTNLS})},
 publisher    = {Association for Computational Linguistics},
 address      = {Gothenburg, Sweden},
 pages        = {72--79},
 doi          = {10.3115/v1/W14-1409},
)
@article(Coppo16,
 author       = {M. Coppo and Dezani{-}Ciancaglini, M. and N. Yoshida and L. Padovani},
 year         = {2016},
 title        = {Global Progress for Dynamically Interleaved Multiparty Sessions},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {26},
 number       = {2},
 pages        = {238--302},
 doi          = {10.1017/S0960129514000188},
)
@book(DengBook14,
 author       = {Y. Deng},
 year         = {2015},
 title        = {Semantics of Probabilistic Processes: An Operational Approach},
 publisher    = {Springer Publishing Company, Incorporated},
 doi          = {10.1007/978-3-662-45198-4},
)
@article(Glabbeek95,
 author       = {R. J. van Glabbeek and S. A. Smolka and B. Steffen},
 year         = {1995},
 title        = {Reactive, Generative and Stratified Models of Probabilistic Processes},
 journal      = {Information and Computation},
 volume       = {121},
 number       = {1},
 pages        = {59--80},
 doi          = {10.1006/inco.1995.1123},
)
@book(Halpern03,
 author       = {J. Y. Halpern},
 year         = {2003},
 title        = {Reasoning About Uncertainty},
 publisher    = {MIT Press},
 address      = {Cambridge, MA, USA},
)
@book(Hansson94,
 author       = {H. A. Hansson},
 year         = {1994},
 title        = {Time and Probability in Formal Design of Distributed Systems},
 publisher    = {Elsevier Science Inc.},
 address      = {New York, NY, USA},
)
@inproceedings(Herescu00,
 author       = {O. M. Herescu and C. Palamidessi},
 year         = {2000},
 title        = {Probabilistic Asynchronous $\pi$-Calculus},
 booktitle    = {Foundations of Software Science and Computation Structures, Third International Conference, {FOSSACS} 2000, Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
 pages        = {146--160},
 doi          = {10.1007/3-540-46432-8\_10},
)
@book(Hillston96,
 author       = {J. Hillston},
 year         = {1996},
 title        = {A Compositional Approach to Performance Modelling},
 publisher    = {Cambridge University Press},
 address      = {New York, NY, USA},
 doi          = {10.1017/CBO9780511569951},
)
@inproceedings(Honda93,
 author       = {K. Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {{CONCUR} '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@article(Honda16,
 author       = {K. Honda and N. Yoshida and M. Carbone},
 year         = {2016},
 title        = {Multiparty Asynchronous Session Types},
 journal      = {Journal of the {ACM}},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
)
@phdthesis(Lowe93,
 author       = {G. Lowe},
 year         = {1993},
 title        = {Probabilities and Priorities in Timed {CSP}},
 school       = {University of Oxford, {UK}},
 url          = {http://ora.ox.ac.uk/objects/uuid:cfec28d9-aa50-46f3-a664-eb5fbe97b261},
)
@book(Milner99,
 author       = {R. Milner},
 year         = {1999},
 title        = {Communicating and Mobile Systems - the $\pi$-calculus},
 publisher    = {Cambridge University Press},
)
@inproceedings(Scalas17,
 author       = {A. Scalas and O. Dardha and R. Hu and N. Yoshida},
 year         = {2017},
 title        = {A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming},
 booktitle    = {31st European Conference on Object-Oriented Programming, {ECOOP} 2017, June 19-23, 2017, Barcelona, Spain},
 pages        = {24:1--24:31},
 doi          = {10.4230/LIPIcs.ECOOP.2017.24},
)
@article(Segala95,
 author       = {R. Segala and N. A. Lynch},
 year         = {1995},
 title        = {Probabilistic Simulations for Probabilistic Processes},
 journal      = {Nordic Journal of Computing},
 volume       = {2},
 number       = {2},
 pages        = {250--273},
)
@inproceedings(Takeuchi94,
 author       = {K. Takeuchi and K. Honda and M. Kubo},
 year         = {1994},
 title        = {An Interaction-based Language and its Typing System},
 booktitle    = {{PARLE} '94: Parallel Architectures and Languages Europe, 6th International {PARLE} Conference, Athens, Greece, July 4-8, 1994, Proceedings},
 pages        = {398--413},
 doi          = {10.1007/3-540-58184-7\_118},
)
@article(Varacca07,
 author       = {D. Varacca and N. Yoshida},
 year         = {2007},
 title        = {Probabilistic $\pi$-Calculus and Event Structures},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {190},
 number       = {3},
 pages        = {147--166},
 doi          = {10.1016/j.entcs.2007.07.009},
)
@article(Warrell16,
 author       = {J. H. Warrell},
 year         = {2016},
 title        = {A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction},
 journal      = {CoRR},
 volume       = {abs/1602.06420},
 url          = {http://arxiv.org/abs/1602.06420},
)