@book(Bar84,
 author       = {H. P. Barendregt},
 year         = {1984},
 title        = {The Lambda Calculus---Its Syntax and Semantics},
 publisher    = {North-Holland},
)
@book(Cut80,
 author       = {Nigel Cutland},
 year         = {1980},
 title        = {Computability: An Introduction to Recursive Function Theory},
 publisher    = {Cambridge University Press},
)
@techreport(EN86a,
 author       = {U. H. Engberg and M. Nielsen},
 year         = {1986},
 title        = {A Calculus of Communicating Systems with Label Passing},
 type         = {Technical Report},
 number       = {DAIMI PB-208},
 institution  = {Computer Science Department, University of Aarhus},
 url          = {http://www.daimi.au.dk/PB/208/},
)
@incollection(EN00,
 author       = {U. H. Engberg and M. Nielsen},
 year         = {2000},
 title        = {A Calculus of Communicating Systems with Label Passing - Ten Years After},
 booktitle    = {Proof, Language, and Interaction: Essays in Honour of Robin Milner},
 publisher    = {MIT Press Cambridge},
 pages        = {599--622},
)
@article(Fu05b,
 author       = {Yuxi Fu},
 year         = {2005},
 title        = {On Quasi Open Bisimulation},
 journal      = {Theoretical Computer Science},
 volume       = {338(1-3)},
 pages        = {96--126},
 doi          = {10.1016/j.tcs.2004.10.041},
)
@article(Fu11a,
 author       = {Yuxi Fu},
 year         = {2014},
 title        = {Theory of interaction},
 journal      = {Theoretical Computer Science},
 doi          = {10.1016/j.tcs.2015.07.043},
)
@article(FL09a,
 author       = {Yuxi Fu and Hao Lu},
 year         = {2010},
 title        = {On the Expressiveness of Interaction},
 journal      = {Theoretical Computer Science},
 volume       = {411},
 pages        = {1387--1451},
 doi          = {10.1016/j.tcs.2009.11.011},
)
@inproceedings(Gor08a,
 author       = {D. Gorla},
 year         = {2008},
 title        = {Towards a Unified Approach to Encodability and Separation Results for Process Calculi},
 booktitle    = {Proceedings of the 19th International Conference on Concurrency Theory (CONCUR 2008)},
 series       = {LNCS},
 volume       = {5201},
 publisher    = {Springer Verlag},
 pages        = {492--507},
 doi          = {10.1007/978-3-540-85361-9\_38},
)
@inproceedings(LPSS10,
 author       = {I. Lanese and J. A. P\'{e}rez and D. Sangiorgi and A. Schmitt},
 year         = {2010},
 title        = {On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi},
 booktitle    = {Proceedings of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2010)},
 series       = {LNCS},
 publisher    = {Springer Verlag},
 pages        = {442--453},
 doi          = {10.1007/978-3-642-14162-1\_37},
)
@article(LPSS10a,
 author       = {I. Lanese and J. A. P\'{e}rez and D. Sangiorgi and A. Schmitt},
 year         = {2011},
 title        = {On the Expressiveness and Decidability of Higher-Order Process Calculi},
 journal      = {Information and Computation},
 volume       = {209(2)},
 pages        = {198--226},
 doi          = {10.1016/j.ic.2010.10.001},
)
@book(Mil89,
 author       = {R. Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice Hall},
)
@article(MPW92,
 author       = {R. Milner and J. Parrow and D. Walker},
 year         = {1992},
 title        = {A Calculus of Mobile Processes (Parts I and II)},
 journal      = {Information and Computation},
 volume       = {100(1)},
 pages        = {1--77},
 doi          = {10.1016/0890-5401(92)90008-4, 10.1016/0890-5401(92)90009-5},
)
@phdthesis(San92,
 author       = {D. Sangiorgi},
 year         = {1992},
 title        = {Expressing Mobility in Process Algebras: First-order and Higher-order Paradigms},
 type         = {Phd thesis},
 school       = {University of Edinburgh},
)
@inproceedings(San92a,
 author       = {D. Sangiorgi},
 year         = {1992},
 title        = {From $\pi$-Calculus to Higher-Order $\pi$-Calculus---and Back},
 booktitle    = {Proceedings of Theory and Practice of Software Development (TAPSOFT) 1993},
 series       = {LNCS},
 volume       = {668},
 publisher    = {Springer Verlag},
 pages        = {151--166},
 doi          = {10.1007/3-540-56610-4\_62},
)
@article(San94,
 author       = {D. Sangiorgi},
 year         = {1996},
 title        = {Bisimulation for Higher-order Process Calculi},
 journal      = {Information and Computation},
 volume       = {131(2)},
 pages        = {141--178},
 doi          = {10.1006/inco.1996.0096},
)
@article(San98,
 author       = {D. Sangiorgi},
 year         = {1998},
 title        = {On the Bisimulation Proof Method},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {8(6)},
 pages        = {447--479},
 doi          = {10.1017/S0960129598002527},
)
@book(SW01a,
 author       = {D. Sangiorgi and D. Walker},
 year         = {2001},
 title        = {The Pi-calculus: a Theory of Mobile Processes},
 publisher    = {Cambridge Universtity Press},
)
@article(Tho93,
 author       = {B. Thomsen},
 year         = {1993},
 title        = {Plain {CHOCS}, a Second Generation Calculus for Higher-Order Processes},
 journal      = {Acta Informatica},
 volume       = {30(1)},
 pages        = {1--59},
 doi          = {10.1007/BF01200262},
)
@article(Xu12,
 author       = {Xian Xu},
 year         = {2012},
 title        = {Distinguishing and Relating Higher-order and First-order Processes by Expressiveness},
 journal      = {Acta Informatica},
 volume       = {49(7-8)},
 pages        = {445--484},
 doi          = {10.1007/s00236-012-0168-9},
)
@unpublished(XYL15,
 author       = {Xian Xu and Qiang Yin and Huan Long},
 title        = {On the Computation Power of Name Parameterization in Higher-order Processes},
 url          = {http://basics.sjtu.edu.cn/~yin/Papers/ice15.pdf},
 note         = {Online version (with appendix) of the ICE 2015 paper},
)
@inproceedings(XYL13,
 author       = {Xian Xu and Qiang Yin and Huan Long},
 year         = {2013},
 title        = {On the Expressiveness of Parameterization in Process-passing},
 booktitle    = {Proceedings of the 10th International Workshop on Web Services and Formal Methods},
 series       = {LNCS},
 volume       = {8739},
 publisher    = {Springer Verlag},
 pages        = {147--167},
 doi          = {10.1007/978-3-319-08260-8\_9},
)