DMCA

Static Analysis for the π-calculus with Applications to Security (2001)

by Chiara Bodei , Pierpaolo Degano , Flemming Nielson , Hanne Riis Nielson
Citations:20 - 10 self