Silvia Crafa, Matteo Mio, Marino Miculan, Carla Piazza, Sabina Rossi. PicNIc - Pi-calculus non-interference checker. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 33-38, IEEE, 2008. [doi]
Abstract is missing.