Travelled to:1 × Germany
1 × Poland
1 × Spain
Collaborated with:V.Sassone ∅ M.John J.Niehren C.Versari
Talks about:calculus (2) type (2) constraint (1) distribut (1) reaction (1) biochem (1) ambient (1) depend (1) infer (1) rule (1)
Person: Cédric Lhoussaine
DBLP: Lhoussaine:C=eacute=dric
Contributed to:
201120042003Wrote 3 papers:
- ESOP-2011-JohnLNV #constraints
- Biochemical Reaction Rules with Constraints (MJ, CL, JN, CV), pp. 338–357.
- ESOP-2004-LhoussaineS #calculus
- A Dependently Typed Ambient Calculus (CL, VS), pp. 171–187.
- ESOP-2003-Lhoussaine #distributed #type inference #π-calculus
- Type Inference for a Distributed π-Calculus (CL), pp. 253–268.