1. Martín Abadi, Bruno Blanchet & Cédric Fournet (2018): The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication. J. ACM 65(1), pp. 1:1–1:41, doi:10.1145/3127586.
  2. Luca Aceto, Anna Ingólfsdóttir, Jiri Srba & Kim Guldstrand Larsen (2007): Reactive systems : modelling, specification and verification. Cambridge University Press, Cambridge, UK New York, doi:10.1017/CBO9780511814105.
  3. Jesper Bengtson, Magnus Johansson, Joachim Parrow & Björn Victor (2011): Psi-calculi: a framework for mobile processes with nominal data and logic. Logical Methods in Computer Science 7(1), doi:10.2168/LMCS-7(1:11)2011.
  4. J. A. Bergstra & J. W. Klop (1989): Process theory based on bisimulation semantics. In: J. W. de Bakker, W. P. de Roever & G. Rozenberg: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 50–122, doi:10.1007/BFb0013021.
  5. Yoram Hirshfeld & Faron Moller (1994): A Fast Algorithm for Deciding Bisimilarity of Normed Context-Free Processes. In: CONCUR'94: Concurrency Theory. Springer Berlin Heidelberg, pp. 48–63, doi:10.1007/978-3-540-48654-1_5.
  6. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems, ESOP '98. Springer-Verlag, London, UK, UK, pp. 122–138, doi:10.1007/bfb0053567.
  7. Hans Hüttel (2016): Binary Session Types for Psi-Calculi. In: Atsushi Igarashi: Programming Languages and Systems. Springer International Publishing, Cham, pp. 96–115, doi:10.1007/978-3-319-47958-3_6.
  8. Robin Milner (1999): Communicating and mobile systems - the Pi-calculus. Cambridge University Press.
  9. Peter Thiemann & Vasco T. Vasconcelos (2016): Context-free Session Types. SIGPLAN Not. 51(9), pp. 462–475, doi:10.1145/3022670.2951926.
  10. Vasco T. Vasconcelos (2011): Sessions, from Types to Programming Languages. Bulletin of the European Association for Theoretical Computer Science 103, pp. 54–73, doi: Available at

Comments and questions to:
For website issues: