Pedersen, M.D. 2006. Logics for The Applied pi Calculus. BRICS Report Series. 13, 19 (Dec. 2006). DOI:https://doi.org/10.7146/brics.v13i19.21923.