Ferruccio Damiani Mariangiola Dezani-Ciancaglini Paola Giannini A filter model for mobile processes. 63-101 1999 9 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs9.html#DamianiDG99 http://journals.cambridge.org/action/displayAbstract?aid=44771