Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. HO$$\pi $$ in Coq;Journal of Automated Reasoning;2020-09-14
2. HOπ in Coq;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018;2018
3. Non-disclosure for distributed mobile code;Mathematical Structures in Computer Science;2011-10-27
4. A taxonomy of process calculi for distribution and mobility;Distributed Computing;2010-10-26
5. Encoding Mobile Ambients into the π-Calculus;Perspectives of Systems Informatics;2007