Silvia Crafa Sabina Rossi P-congruences as non-interference for the pi-calculus. 13-22 2006 conf/ccs/2006fmse FMSE http://doi.acm.org/10.1145/1180337.1180339 db/conf/ccs/ccs2006fmse2006.html#CrafaR06