1. Dan Abramov (2015): Redux - A predictable state container for JavaScript apps.. Available at
  2. Gavin Bierman, Martín Abadi & Mads Torgersen (2014): Understanding TypeScript. In: RichardEditor Jones: ECOOP 2014 – Object-Oriented Programming, Lecture Notes in Computer Science. Springer, pp. 257–281, doi:10.1007/978-3-662-44202-9_11.
  3. MDN contributors (2020): Promise. Available at Library Catalog:
  4. Ezra Cooper, Sam Lindley, Philip Wadler & Jeremy Yallop (2007): Links: Web Programming Without Tiers, pp. 266–296 4709. Springer Berlin Heidelberg, doi:10.1007/978-3-540-74792-5_12.
  5. Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2015): A Gentle Introduction to Multiparty Asynchronous Session Types. In: 15th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Multicore Programming, LNCS 9104. Springer, pp. 146–178, doi:10.1007/978-3-319-18941-3_4.
  6. Pierre-Malo Deniélou & Nobuko Yoshida (2013): Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. In: 40th International Colloquium on Automata, Languages and Programming, LNCS 7966. Springer, Berlin, Heidelberg, pp. 174–186, doi:10.1007/978-3-642-39212-2_18.
  7. I. Fette & A. Melnikov (2011): The WebSocket Protocol. RFC 6455. RFC Editor. Available at
  8. Node.js Foundation: Express - Node.js web application framework. Available at
  9. Simon Fowler (2019): Model-View-Update-Communicate: Session Types meet the Elm Architecture. arXiv:1910.11108 [cs]. Available at ArXiv: 1910.11108.
  10. Rosita Gerbo & Luca Padovani (2019): Concurrent Typestate-Oriented Programming in Java. Electronic Proceedings in Theoretical Computer Science 291, pp. 24–34, doi:10.4204/EPTCS.291.3. ArXiv: 1904.01286.
  11. Raymond Hu & Nobuko Yoshida (2016): Hybrid Session Verification through Endpoint API Generation. In: 19th International Conference on Fundamental Approaches to Software Engineering, LNCS 9633. Springer, pp. 401–418, doi:10.1007/978-3-662-49665-7_24.
  12. Raymond Hu & Nobuko Yoshida (2017): Explicit Connection Actions in Multiparty Session Types, pp. 116–133 10202. Springer Berlin Heidelberg, doi:10.1007/978-3-662-54494-5_7.
  13. Jonathan King, Nicholas Ng & Nobuko Yoshida (2019): Multiparty Session Type-safe Web Development with Static Linearity. Electronic Proceedings in Theoretical Computer Science 291, pp. 35–46, doi:10.4204/EPTCS.291.4.
  14. Anson Miu (2020): ansonmiu0214/scribble-noughts-and-crosses. Available at
  15. Rumyana Neykova & Nobuko Yoshida (2017): How to Verify Your Python Conversations. Behavioural Types: from Theory to Tools, pp. 77–98, doi:10.13052/rp-9788793519817.
  16. Rumyana Neykova & Nobuko Yoshida (2019): Featherweight Scribble, pp. 236–259 11665. Springer International Publishing, doi:10.1007/978-3-030-21485-2_14.
  17. Node.js: Node.js. Available at
  18. Microsoft Research: TypeScript Language Specification. Available at
  19. Facebook Open Source: Introducing JSX – React. Available at
  20. Facebook Open Source: React – A JavaScript library for building user interfaces. Available at
  21. Justin Uberti & Peter Thatcher (2011): WebRTC. Available at
  22. Hongwei Xi (2017): Applied Type System: An Approach to Practical Programming with Theorem-Proving. arXiv:1703.08683 [cs]. Available at ArXiv: 1703.08683.
  23. Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2013): The Scribble Protocol Language. In: 8th International Symposium on Trustworthy Global Computing, LNCS 8358. Springer, pp. 22–41, doi:10.1007/978-3-319-05119-2_3.

Comments and questions to:
For website issues: