Authors: BOUDOL G LANEVE C

Citation: G. Boudol et C. Laneve, THE DISCRIMINATING POWER OF MULTIPLICITIES IN THE LAMBDA-CALCULUS, Information and computation, 126(1), 1996, pp. 83-102

Authors: BOUDOL G CASTELLANI I

Citation: G. Boudol et I. Castellani, FLOW MODELS OF DISTRIBUTED COMPUTATIONS - 3 EQUIVALENT SEMANTICS FOR CCS, Information and computation, 114(2), 1994, pp. 247-314

Authors: BOUDOL G

Citation: G. Boudol, LAMBDA-CALCULI FOR (STRICT) PARALLEL FUNCTIONS, Information and computation, 108(1), 1994, pp. 51-127

Authors: BOUDOL G CASTELLANI I HENNESSY M KIEHN A

Citation: G. Boudol et al., OBSERVING LOCALITIES, Theoretical computer science, 114(1), 1993, pp. 31-61