Authors: Abadi, M Fournet, C

Citation: M. Abadi et C. Fournet, Mobile values, new names, and secure communication, ACM SIGPL N, 36(3), 2001, pp. 104-115

Authors: Fournet, C Laneve, C

Citation: C. Fournet et C. Laneve, Bisimulations in the join-calculus, THEOR COMP, 266(1-2), 2001, pp. 569-603