M. Abadi and C. Fournet, Mobile values, new names, and secure communication, Proceedings of POPL 2001, pp.104-115, 2001.
DOI : 10.1145/373243.360213

URL : https://hal.archives-ouvertes.fr/hal-01423924

M. Abadi and A. D. Gordon, A Calculus for Cryptographic Protocols: The Spi Calculus, Information and Computation, vol.148, issue.1, pp.1-70, 1999.
DOI : 10.1006/inco.1998.2740

M. Berger, K. Honda, and N. Yoshida, Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes, Proceedings of ICALP 2008, pp.99-111, 2008.
DOI : 10.1007/978-3-540-70583-3_9

M. Boreale, R. D. Nicola, and R. Pugliese, Proof Techniques for Cryptographic Processes, SIAM Journal on Computing, vol.31, issue.3, pp.947-986, 2001.
DOI : 10.1137/S0097539700377864

C. Julian, P. Bradfield, and . Stevens, Observational mu-calculus, BRICS, 1999.

S. D. Brookes, C. A. Hoare, and A. W. Roscoe, A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984.
DOI : 10.1145/828.833

M. G. Buscemi and U. Montanari, CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements, Proceedings of ESOP 2007, pp.18-32, 2007.
DOI : 10.1007/978-3-540-71316-6_3

S. Cranen, J. F. Groote, and M. Reniers, A linear translation from CTL* to the first-order modal ?? -calculus, Theoretical Computer Science, vol.412, issue.28, pp.3129-3139, 2011.
DOI : 10.1016/j.tcs.2011.02.034

M. Dam, Model Checking Mobile Processes, Information and Computation, vol.129, issue.1, pp.35-51, 1996.
DOI : 10.1006/inco.1996.0072

URL : https://doi.org/10.1006/inco.1996.0072

R. De, N. , and M. Loreti, Multiple-labelled transition systems for nominal calculi and their logics, Mathematical Structures in Computer Science, vol.18, issue.1, pp.107-143, 2008.

M. Fiore and S. Staton, A congruence rule format for name-passing process calculi, Information and Computation, vol.207, issue.2, pp.209-236, 2009.
DOI : 10.1016/j.ic.2007.12.005

M. Hennessy and R. Milner, On observing nondeterminism and concurrency, Proceedings of ICALP, pp.299-309, 1980.
DOI : 10.1007/3-540-10003-2_79

M. Hennessy and R. Milner, Algebraic laws for nondeterminism and concurrency, Journal of the ACM, vol.32, issue.1, pp.137-161, 1985.
DOI : 10.1145/2455.2460

URL : https://www.scss.tcd.ie/Matthew.Hennessy/pubs/old/HMjacm85.pdf

H. Hüttel and M. D. Pedersen, A logical characterisation of static equivalence, Proceedings of MFPS XXIII, pp.139-157, 2007.

M. Johansson, J. Bengtson, J. Parrow, and B. Victor, Weak Equivalences in Psi-Calculi, 2010 25th Annual IEEE Symposium on Logic in Computer Science, pp.322-331, 2010.
DOI : 10.1109/LICS.2010.30

V. Koutavas and M. Hennessy, First-order reasoning for higher-order concurrency, Computer Languages, Systems & Structures, vol.38, issue.3, pp.242-277, 2012.
DOI : 10.1016/j.cl.2012.04.003

D. Kozen, Results on the propositional ??-calculus, Theoretical Computer Science, vol.27, issue.3, pp.333-354, 1983.
DOI : 10.1016/0304-3975(82)90125-6

L. Lamport, What good is temporal logic?, IFIP Congress, pp.657-668, 1983.

R. Milner, A Calculus of Communicating Systems, LNCS, vol.92, 1980.
DOI : 10.1007/3-540-10235-3

R. Milner, A modal characterisation of observable machine-behaviour, Proceedings of CAAP 1981, pp.25-34, 1981.
DOI : 10.1007/3-540-10828-9_52

R. Milner, J. Parrow, and D. Walker, Modal logics for mobile processes, Theoretical Computer Science, vol.114, issue.1, pp.149-171, 1993.
DOI : 10.1016/0304-3975(93)90156-N

URL : https://doi.org/10.1016/0304-3975(93)90156-n

J. Parrow, J. Borgström, L. Eriksson, R. Gutkovas, and T. Weber, Modal logics for nominal transition systems, Proceedings of CONCUR 2015 Schloss Dagstuhl -Leibniz- Zentrum für Informatik, pp.198-211, 2015.

A. M. Pitts, Nominal Sets, 2013.
DOI : 10.1017/CBO9781139084673

T. Weber, L. Eriksson, J. Parrow, J. Borgström, and R. Gutkovas, Modal logics for nominal transition systems. Archive of Formal Proofs, 2016.

L. Wischik and P. Gardner, Explicit fusions, Theoretical Computer Science, vol.340, issue.3, pp.606-630, 2005.
DOI : 10.1016/j.tcs.2005.03.017

URL : https://doi.org/10.1016/j.tcs.2005.03.017

X. Xu and H. Long, A logical characterization for linear higher-order processes, Journal of Shanghai Jiaotong University (Science), vol.322, issue.3, pp.185-194, 2015.
DOI : 10.1016/j.tcs.2003.10.041