- Gérard Boudol. Lambda-calculi for (strict) parallel
functions. Information and Computation, 108(1):51-127,
January 1994.
Abstract,
References,
and Citations.
- Gérard Boudol and Ilaria Castellani. Flow models of distributed
computations: Three equivalent semantics for CCS. Information
and Computation, 114(2):247-314, 1 November 1994.
Abstract,
References,
and Citations.
- Gérard Boudol and Cosimo Laneve. The discriminating power of
multiplicities in the lambda-calculus. Information and
Computation, 126(1):83-102, 10 April 1996.
Abstract,
References,
and Citations.
Shortcuts: