The Spi-calculus (1997)

by M Abadi, A Gordon
Venue:Computer and Communications Security, ACM