Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference29 articles.
1. C. Bodei, P. Degano, F. Nielson, H. Riis Nielson, Control flow analysis for the π-calculus, in: Proc. CONCUR'98, LNCS, Springer-Verlag, 1998
2. C. Bodei, P. Degano, F. Nielson, H. Riis Nielson, Static analysis of processes for no read-up and no write-down, in: Proc. FoSSaCS'99, LNCS, Springer-Verlag, 1999
3. Static analysis for the π-calculus with applications to security;Bodei;Information and Computation,2000
4. L. Cardelli, G. Ghelli, A.D. Gordon, Secrecy and group creation, in: Proc. CONCUR'00, LNCS, Springer-Verlag, 2000
5. C.K. Chiu, J.H.M. Lee, Interval linear constraint solving using the preconditioned interval Gauss-Seidel method, in: Proc. ICLP'95, Logic Programming, The MIT Press, 1995
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献