Static analysis for the π-calculus with applications to security (0)

by C Bodei, P Degano, F Nielson, H Riis Nielson
Venue:Information and Computation