@inproceedings(BPPR15, author = {F. Bonchi and D. Petrisan and D. Pous and J. Rot}, year = {2015}, title = {Lax Bialgebras and Up-To Techniques for Weak Bisimulations}, booktitle = {Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015)}, series = {Leibniz International Proceedings in Informatics (LIPICS)}, volume = {42}, pages = {240--253}, doi = {10.4230/LIPIcs.CONCUR.2015.240}, ) @article(BHG06, author = {M. Bundgaard and T. Hildebrandt and J. C. Godskesen}, year = {2006}, title = {A CPS Encoding of Name-passing in Higher-order Mobile Embedded Resources}, journal = {Theoretical Computer Science}, volume = {356(3)}, pages = {422--439}, doi = {10.1016/j.tcs.2006.02.006}, ) @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(Fu15, author = {Yuxi Fu}, year = {2015}, 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}, ) @article(GN16, author = {D. Gorla and U. Nestmann}, year = {2016}, title = {Full Abstraction for Expressiveness: History, Myths and Facts}, journal = {Mathematical Structures in Computer Scinece}, volume = {26}, pages = {639--654}, doi = {10.1017/S0960129514000279}, ) @article(Gor09, author = {Daniele Gorla}, year = {2009}, title = {On the Relative Expressive Power of Calculi for Mobility}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {249}, pages = {269--286}, doi = {10.1016/j.entcs.2009.07.094}, ) @inproceedings(KPY16, author = {D. Kouzapas and J. A. P\'{e}rez and Nobuko Yoshida}, year = {2016}, title = {On the Relative Expressiveness of Higher-Order Session Processes}, booktitle = {Proceedings of the 25th European Symposium on Programming (ESOP 2016)}, series = {LNCS}, pages = {446--475}, doi = {10.1007/978-3-662-49498-1$\_$18}, ) @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}, ) @inproceedings(LPSS08, author = {I. Lanese and J.A. P\'{e}rez and D. Sangiorgi and A. Schmitt}, year = {2008}, title = {On the Expressiveness and Decidability of Higher-Order Process Calculi}, booktitle = {Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)}, publisher = {IEEE Computer Society}, pages = {145--155}, doi = {10.1109/LICS.2008.8}, note = {Journal version in \cite{LPSS10a}}, ) @inproceedings(LSS09, author = {S. Lenglet and A. Schmitt and J.-B. Stefani}, year = {2009}, title = {Normal Bisimulations in Calculi with Passivation}, booktitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009)}, series = {LNCS}, volume = {5504}, publisher = {Springer Verlag}, pages = {257--271}, doi = {10.1007/978-3-642-00596-1\_19}, ) @article(LSS11, author = {S. Lenglet and A. Schmitt and J.-B. Stefani}, year = {2011}, title = {Characterizing Contextual Equivalence in Calculi with Passivation}, journal = {Information and Computation}, volume = {209}, pages = {1390--1433}, doi = {10.1016/j.ic.2011.08.002}, ) @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}, ) @article(Par16, author = {J. Parrow}, year = {2016}, title = {General Conditions for Full Abstraction}, journal = {Mathematical Structures in Computer Science}, volume = {26}, pages = {655--657}, doi = {10.1017/s0960129514000280}, ) @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}, ) @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}, ) @phdthesis(Tho90, author = {B. Thomsen}, year = {1990}, title = {Calculi for Higher Order Communicating Systems}, type = {Phd thesis}, school = {Department of Computing, Imperial College}, ) @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}, ) @inproceedings(Xu13, author = {Xian Xu}, year = {2013}, title = {On Context Bisimulation for Parameterized Higher-order Processes}, booktitle = {Proceedings of the 6th Interaction and Concurrency Experience (ICE 2013)}, series = {EPTCS}, volume = {131}, pages = {37--51}, doi = {10.4204/EPTCS.131.5}, ) @misc(Xu16app, author = {Xian Xu}, year = {2016}, title = {Higher-order Processes with Parameterization over Names and Processes (with appendices)}, url = {http://basics.sjtu.edu.cn/~xuxian/express2016withappendices.pdf}, ) @inproceedings(XYL15, author = {Xian Xu and Qiang Yin and Huan Long}, year = {2015}, title = {On the Computation Power of Name Parameterization in Higher-order Processes}, booktitle = {Proceedings of 8th Interaction and Concurrency Experience (ICE 2015)}, series = {EPTCS}, volume = {189}, pages = {114--127}, doi = {10.4204/EPTCS.189.10}, )