PEDERSEN, M. Logics for The Applied pi Calculus. BRICS Report Series, v. 13, n. 19, 12 Dec. 2006.