Author:
Honda Kohei,Yoshida Nobuko,Berger Martin
Publisher
Springer International Publishing
Reference40 articles.
1. A full version of this paper. Doc Technical Report DTR 2014/2, Department of Computing, Imperial College London (April 2014)
2. Abramsky, S., Jagadeesan, R., Malacaria, P.: Full Abstraction for PCF. Info. & Comp. 163, 409–470 (2000)
3. Lecture Notes in Computer Science;M. Berger,2010
4. Lecture Notes in Computer Science;M. Berger,2001
5. Berger, M., Honda, K., Yoshida, N.: Genericity and the pi-calculus. Acta Inf. 42(2-3), 83–141 (2005)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献