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.
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.
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.
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.
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.
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.
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.
Robin Milner (1999):
Communicating and mobile systems - the Pi-calculus.
Cambridge University Press.
Peter Thiemann & Vasco T. Vasconcelos (2016):
Context-free Session Types.
SIGPLAN Not. 51(9),
pp. 462–475,
doi:10.1145/3022670.2951926.