Author:
Xu Xian,Yin Qiang,Long Huan
Publisher
Springer International Publishing
Reference30 articles.
1. Bundgaard, M., Godskesen, J.C., Hildebrandt, T.: Encoding the pi-calculus in higher-order calculi. Technical report TR-2008-106, IT University of Copenhagen (2008)
2. Bundgaard, M., Hildebrandt, T., Godskesen, J.C.: A CPS encoding of name-passing in higher-order mobile embedded resources. Theoret. Comput. Sci. 356, 422–439 (2006)
3. Lecture Notes in Computer Science;C Giusto Di,2009
4. Lecture Notes in Computer Science;D Gorla,2008
5. Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9), 1031–1053 (2010)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献