Subject
General Computer Science,Theoretical Computer Science
Reference31 articles.
1. O. Ait-Mohamed. Pi-Calculus Theory in HOL. PhD thesis, Henry Poincarré University, Nancy, 1996.
2. S. Berghofer and M. Wenzel. Inductive datatypes in HOL—lessons learned in Formal-Logic Engineering. In Proc. TPHOL'99, volume 1690 of LNCS, pages 19–36, 1999.
3. S. Dal Zilio and A. Gordon. Region analysis in a π-calculus with groups. In Proc. MFCS'00, volume 1893 of LNCS, pages 1–20. Springer, 2000.
4. Lambda calculus notation with nameless dummies: a tool for automatic formula manipulation, with application to the Church-Rosser theorem;de Bruijn;Indagationes Mathematicae,1972
5. J. Despeyroux. A higher-order specification of the π-calculus. In Proc. TCS'00, volume 1872 of LNCS, pages 425–439. Springer, 2000.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献