J. Åman-pohjola, Psi-calculi revisited: Connectivity and compositionality, p.192416, 2019.

J. Bengtson, M. Johansson, J. Parrow, and B. Victor, Psi-calculi: A framework for mobile processes with nominal data and logic, Logical Methods in Computer Science, vol.7, issue.1, 2011.

J. Bengtson, J. Parrow, and T. Weber, Psi-calculi in Isabelle, J. Autom. Reasoning, vol.56, issue.1, pp.1-47, 2016.

G. Berry and G. Boudol, The chemical abstract machine, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.81-94, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075426

,

J. Borgström, S. Huang, M. Johansson, P. Raabjerg, B. Victor et al., Broadcast psi-calculi with an application to wireless protocols, Software and System Modeling, vol.14, issue.1, pp.201-216, 2015.

N. Busi and R. Gorrieri, Object-Based Models and Languages for Concurrent Systems, ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Lecture Notes in Computer Science, vol.924, pp.49-65, 1994.

M. Felleisen and R. Hieb, The revised report on the syntactic theories of sequential control and state, Theor. Comput. Sci, vol.103, issue.2, pp.90014-90021, 1992.

M. J. Gabbay and A. M. Pitts, A new approach to abstract syntax with variable binding, Formal Aspects of Computing, vol.13, pp.341-363, 2002.

,

P. Gardner and L. Wischik, Explicit fusions, Proceedings of MFCS 2000, vol.1893, pp.373-382, 2000.

D. Gorla, Towards a unified approach to encodability and separation results for process calculi, Inf. Comput, vol.208, issue.9, pp.1031-1053, 2010.

D. Hirschkoff, J. Madiot, and D. Sangiorgi, Name-passing calculi: From fusions to preorders and types, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.378-387, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00818068

D. Hirschkoff, J. Madiot, and X. Xu, A behavioural theory for a ?-calculus with preorders, J. Log. Algebr. Meth. Program, vol.84, issue.6, pp.806-825, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01246094

,

D. Hirschkoff, J. Madiot, and X. Xu, A behavioural theory for a ?-calculus with preorders, Fundamentals of Software Engineering -6th International Conference, FSEN 2015 Tehran, vol.9392, pp.143-158, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01246094

M. Johansson, Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus -just add data and logic, 2010.

M. Johansson, J. Bengtson, J. Parrow, and B. Victor, Weak equivalences in psi-calculi, LICS. pp, pp.322-331, 2010.

,

D. Kouzapas, R. Gutkovas, and S. J. Gay, Session types for broadcasting, Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, vol.155, pp.25-31, 2014.

R. Milner, Functions as processes, Proceedings of the seventeenth international colloquium on Automata, languages and programming, pp.167-180, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075405

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, part I/II, Inf. Comput, vol.100, issue.1, pp.1-77, 1992.

S. Nanz and C. Hankin, A framework for security analysis of mobile wireless networks, Theor. Comput. Sci, vol.367, issue.1-2, pp.203-227, 2006.

U. Nestmann and B. C. Pierce, Decoding choice encodings, Inf. Comput, vol.163, issue.1, pp.1-59, 2000.

C. Palamidessi, Comparing the expressive power of the synchronous and the asynchronous pi-calculus, Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, pp.256-265, 1997.

K. Peters and U. Nestmann, Is it a "good" encoding of mixed choice, Foundations of Software Science and Computational Structures -15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, vol.7213, pp.210-224, 2012.

K. Peters, U. Nestmann, and U. Goltz, On distributability in process calculi, Programming Languages and Systems -22nd

, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, vol.7792, pp.310-329, 2013.

C. Urban, Nominal techniques in Isabelle/HOL, Journal of Automated Reasoning, vol.40, issue.4, pp.327-356, 2008.

L. Wischik and P. Gardner, Explicit fusions, Theoretical Computer Science, vol.304, issue.3, pp.606-630, 2005.