References

  1. A. Aldini & M. Bravetti (2000): An Asynchronous Calculus for Generative-Reactive Probabilistic Systems. Technical Report UBLCS-2000-3. University of Bologna. Available at https://disi.unibo.it/it/ricerca/technical-report/2000/pdfs/2000-03.ps.gz.
  2. S. Andova (1999): Process Algebra with Probabilistic Choice. In: Formal Methods for Real-Time and Probabilistic Systems, 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999. Proceedings, pp. 111–129, doi:10.1007/3-540-48778-6_7.
  3. A. Bejleri & N. Yoshida (2009): Synchronous Multiparty Session Types. Electronic Notes in Theoretical Computer Science 241, pp. 3–33, doi:10.1016/j.entcs.2009.06.002.
  4. L. Bocchi, W. Yang & N. Yoshida (2014): Timed Multiparty Session Types. In: CONCUR 2014 - Concurrency Theory - 25th International Conference, Rome, Italy, September 2-5, 2014. Proceedings, pp. 419–434, doi:10.1007/978-3-662-44584-6_29.
  5. R. Cooper, S. Dobnik, S. Lappin & S. Larsson (2014): A Probabilistic Rich Type Theory for Semantic Interpretation. In: Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS). Association for Computational Linguistics, Gothenburg, Sweden, pp. 72–79, doi:10.3115/v1/W14-1409.
  6. M. Coppo, M. Dezani-Ciancaglini, N. Yoshida & L. Padovani (2016): Global Progress for Dynamically Interleaved Multiparty Sessions. Mathematical Structures in Computer Science 26(2), pp. 238–302, doi:10.1017/S0960129514000188.
  7. Y. Deng (2015): Semantics of Probabilistic Processes: An Operational Approach. Springer Publishing Company, Incorporated, doi:10.1007/978-3-662-45198-4.
  8. R. J. van Glabbeek, S. A. Smolka & B. Steffen (1995): Reactive, Generative and Stratified Models of Probabilistic Processes. Information and Computation 121(1), pp. 59–80, doi:10.1006/inco.1995.1123.
  9. J. Y. Halpern (2003): Reasoning About Uncertainty. MIT Press, Cambridge, MA, USA.
  10. H. A. Hansson (1994): Time and Probability in Formal Design of Distributed Systems. Elsevier Science Inc., New York, NY, USA.
  11. O. M. Herescu & C. Palamidessi (2000): Probabilistic Asynchronous π-Calculus. In: 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, pp. 146–160, doi:10.1007/3-540-46432-8_10.
  12. J. Hillston (1996): A Compositional Approach to Performance Modelling. Cambridge University Press, New York, NY, USA, doi:10.1017/CBO9780511569951.
  13. K. Honda (1993): Types for Dyadic Interaction. In: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, pp. 509–523, doi:10.1007/3-540-57208-2_35.
  14. K. Honda, N. Yoshida & M. Carbone (2016): Multiparty Asynchronous Session Types. Journal of the ACM 63(1), pp. 9:1–9:67, doi:10.1145/2827695.
  15. G. Lowe (1993): Probabilities and Priorities in Timed CSP. University of Oxford, UK. Available at http://ora.ox.ac.uk/objects/uuid:cfec28d9-aa50-46f3-a664-eb5fbe97b261.
  16. R. Milner (1999): Communicating and Mobile Systems - the π-calculus. Cambridge University Press.
  17. A. Scalas, O. Dardha, R. Hu & N. Yoshida (2017): A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain, pp. 24:1–24:31, doi:10.4230/LIPIcs.ECOOP.2017.24.
  18. R. Segala & N. A. Lynch (1995): Probabilistic Simulations for Probabilistic Processes. Nordic Journal of Computing 2(2), pp. 250–273.
  19. K. Takeuchi, K. Honda & M. Kubo (1994): An Interaction-based Language and its Typing System. In: PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, pp. 398–413, doi:10.1007/3-540-58184-7_118.
  20. D. Varacca & N. Yoshida (2007): Probabilistic π-Calculus and Event Structures. Electronic Notes in Theoretical Computer Science 190(3), pp. 147–166, doi:10.1016/j.entcs.2007.07.009.
  21. J. H. Warrell (2016): A Probabilistic Dependent Type System based on Non-Deterministic Beta Reduction. CoRR abs/1602.06420. Available at http://arxiv.org/abs/1602.06420.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org