@article(ABADI19991,
 author       = {Martín Abadi and Andrew D. Gordon},
 year         = {1999},
 title        = {A Calculus for Cryptographic Protocols: The Spi Calculus},
 journal      = {Information and Computation},
 volume       = {148},
 number       = {1},
 pages        = {1--70},
 doi          = {10.1006/inco.1998.2740},
)
@techreport(expresssos2022techreport,
 author       = {Alexander R. Bendixen and Bjarke B. Bojesen and Hans Hüttel and Stian Lybech},
 year         = {2022},
 title        = {Typing Reflection in Higher-Order Psi-calculi},
 type         = {Technical Report},
 institution  = {Department of Computer Science, Aalborg University},
 url          = {http://icetcs.ru.is/stian/2022/hopsitypes2022techreport.pdf},
)
@inproceedings(bengtson2009psi,
 author       = {Jesper Bengtson and Magnus Johansson and Joachim Parrow and Bj{\"o}rn Victor},
 year         = {2009},
 title        = {Psi-calculi: Mobile processes, nominal data, and logic},
 booktitle    = {2009 24th Annual IEEE Symposium on Logic In Computer Science},
 organization = {IEEE},
 pages        = {39--48},
 doi          = {10.1016/S1571-0661(05)80361-5},
)
@article(bengtson2011psi,
 author       = {Jesper Bengtson and Magnus Johansson and Joachim Parrow and Björn Victor},
 year         = {2011},
 title        = {{Psi-calculi: a framework for mobile processes with nominal data and logic}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 7, Issue 1}},
 doi          = {10.2168/LMCS-7(1:11)2011},
 url          = {https://lmcs.episciences.org/696},
)
@inproceedings(caires2007,
 author       = {Luís Caires},
 year         = {2007},
 title        = {Logical Semantics of Types for Concurrency},
 editor       = {Till Mossakowski and Ugo Montanari and Magne Haveraaen},
 booktitle    = {Algebra and Coalgebra in Computer Science},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {16--35},
 doi          = {10.1006/inco.1994.1093},
)
@article(CARBONEMAFFEIS,
 author       = {Marco Carbone and Sergio Maffeis},
 year         = {2003},
 title        = {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus},
 journal      = {Nordic Journal of Computing},
 volume       = {10},
 number       = {2},
 pages        = {70--98},
 doi          = {10.1016/S1571-0661(05)80361-5},
)
@article(demangeon2010550,
 author       = {Romain Demangeon and Daniel Hirschkoff and Davide Sangiorgi},
 year         = {2010},
 title        = {Termination in higher-order concurrent calculi},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {79},
 number       = {7},
 pages        = {550--577},
 doi          = {10.1016/j.jlap.2010.07.007},
 note         = {The 20th Nordic Workshop on Programming Theory (NWPT 2008)},
)
@article(gabbay2002nominal,
 author       = {Murdoch Gabbay and Andrew Pitts},
 year         = {2002},
 title        = {A New Approach to Abstract Syntax with Variable Binding},
 journal      = {Formal Asp. Comput.},
 volume       = {13},
 pages        = {341--363},
 doi          = {10.1007/s001650200016},
)
@inproceedings(gardner2000explicit,
 author       = {Philippa Gardner and Lucian Wischik},
 year         = {2000},
 title        = {Explicit fusions},
 booktitle    = {International Symposium on Mathematical Foundations of Computer Science},
 organization = {Springer},
 pages        = {373--382},
 doi          = {10.1007/3-540-44612-5\_33},
)
@article(GORLA,
 author       = {Daniele Gorla},
 year         = {2010},
 title        = {Towards a unified approach to encodability and separation results for process calculi},
 journal      = {Information and Computation},
 volume       = {208},
 number       = {9},
 pages        = {1031--1053},
 doi          = {10.1016/j.ic.2010.05.002},
)
@article(DPICALC,
 author       = {Matthew Hennessy and James Riely},
 year         = {2002},
 title        = {Resource Access Control in Systems of Mobile Agents},
 journal      = {Information and Computation},
 volume       = {173},
 number       = {1},
 pages        = {82--120},
 doi          = {10.1006/inco.2001.3089},
)
@inproceedings(huttel2011typed,
 author       = {Hans Hüttel},
 year         = {2011},
 title        = {Typed $\psi$-calculi},
 booktitle    = {International Conference on Concurrency Theory},
 organization = {Springer},
 pages        = {265--279},
 doi          = {10.1007/978-3-642-23217-6\_18},
)
@inproceedings(huttel2013resourcespsi,
 author       = {Hans Hüttel},
 year         = {2014},
 title        = {Types for Resources in $\psi$-calculi},
 editor       = {Martín Abadi and Lluch Lafuente, Alberto},
 booktitle    = {Trustworthy Global Computing},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {83--102},
 doi          = {10.1007/978-3-319-05119-2\_6},
)
@inproceedings(huttel2016sessionpsi,
 author       = {Hans Hüttel},
 year         = {2016},
 title        = {Binary Session Types for Psi-Calculi},
 editor       = {Atsushi Igarashi},
 booktitle    = {Programming Languages and Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {96--115},
 doi          = {10.1007/978-3-319-47958-3\_6},
)
@article(igarashi2004,
 author       = {Atsushi Igarashi and Naoki Kobayashi},
 year         = {2004},
 title        = {A generic type system for the Pi-calculus},
 journal      = {Theoretical Computer Science},
 volume       = {311},
 number       = {1},
 pages        = {121--163},
 doi          = {10.1016/S0304-3975(03)00325-6},
)
@article(konig2005,
 author       = {Barbara König},
 year         = {2005},
 title        = {Analysing input/output-capabilities of mobile processes with a generic type system},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {63},
 number       = {1},
 pages        = {35--58},
 doi          = {10.1016/j.jlap.2004.01.004},
 note         = {Special issue on The pi-calculus},
)
@inproceedings(lybech2022encodabilitypaper,
 author       = {Stian Lybech},
 year         = {2022},
 title        = {Encodability and Separation for a Reflective and Higher-Order Language},
 series       = {this volume of EPTCS},
 publisher    = {Open Publishing Association},
)
@article(RHOCALC,
 author       = {L.G. Meredith and Matthias Radestock},
 year         = {2005},
 title        = {A Reflective Higher-order Calculus},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {141},
 number       = {5},
 pages        = {49 -- 67},
 doi          = {10.1016/j.entcs.2005.05.016},
 note         = {Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2005)},
)
@incollection(PICALC,
 author       = {Robin Milner},
 year         = {1993},
 title        = {The Polyadic $\pi$-Calculus: a Tutorial},
 booktitle    = {Logic and Algebra of Specification},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {203--246},
 doi          = {10.1007/978-3-642-58041-3\_6},
)
@incollection(parrow2001introduction,
 author       = {Joachim Parrow},
 year         = {2001},
 title        = {An introduction to the $\pi$-calculus},
 booktitle    = {Handbook of Process Algebra},
 publisher    = {Elsevier},
 pages        = {479--543},
 doi          = {10.1016/B978-044482830-9/50026-6},
)
@article(parrow2014higher,
 author       = {Joachim Parrow and Johannes Borgstr{\"o}m and Palle Raabjerg and {\r A}man Pohjola, Johannes},
 year         = {2014},
 title        = {Higher-order psi-calculi},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {24},
 number       = {2},
 doi          = {10.1017/S0960129513000170},
)
@inproceedings(PICAPABLE,
 author       = {Benjamin Pierce and Davide Sangiorgi},
 year         = {1993},
 title        = {Typing and subtyping for mobile processes},
 booktitle    = {[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science},
 organization = {IEEE},
 pages        = {376--385},
 doi          = {10.1109/LICS.1993.287570},
)
@phdthesis(SANGIORGIPHD,
 author       = {Davide Sangiorgi},
 year         = {1993},
 title        = {Expressing mobility in process algebras: first-order and higher-order paradigms},
 school       = {University of Edinburgh},
 url          = {http://hdl.handle.net/1842/6569},
)
@inproceedings(HOPICALC,
 author       = {Davide Sangiorgi},
 year         = {1993},
 title        = {From $\pi$-calculus to higher-order $\pi$-calculus --- and back},
 editor       = {M. C. Gaudel and J. P. Jouannaud},
 booktitle    = {TAPSOFT'93: Theory and Practice of Software Development},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {151--166},
 doi          = {10.1007/3-540-56610-4\_62},
)
@book(sangiorgi2003pi,
 author       = {Davide Sangiorgi and David Walker},
 year         = {2003},
 title        = {The pi-calculus: a Theory of Mobile Processes},
 publisher    = {Cambridge university press},
)
@inproceedings(CHOCS,
 author       = {Bent Thomsen},
 year         = {1989},
 title        = {A Calculus of Higher Order Communicating Systems},
 booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN}-{SIGACT} symposium on Principles of programming languages - {POPL}' 89},
 series       = {POPL'89},
 publisher    = {{ACM} Press},
 address      = {New York, NY, USA},
 pages        = {143--154},
 doi          = {10.1145/75277.75290},
)
@article(thomsen1993plainchocs,
 author       = {Bent Thomsen},
 year         = {1993},
 title        = {Plain {CHOCS} A Second Generation Calculus for Higher Order Processes},
 journal      = {Acta Inf.},
 volume       = {30},
 number       = {1},
 pages        = {1–59},
 doi          = {10.1007/BF01200262},
)