[1]
M. D. Pedersen, “Logics for The Applied pi Calculus”, BRICS, vol. 13, no. 19, Dec. 2006.