Search the dblp DataBase

Publications of Author

1. Cédric Lhoussaine
   Type Inference for a Distributed pi-Calculus. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:253-268 [Conf]
   
2. Cédric Lhoussaine, Vladimiro Sassone
   A Dependently Typed Ambient Calculus. [Citation Graph (0, 0)][DBLP]
   ESOP, 2004, pp:171-187 [Conf]
   
3. Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
   The Receptive Distributed pi-Calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1999, pp:304-315 [Conf]
   
4. Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
   On message deliverability and non-uniform receptivity. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 2002, v:53, n:2, pp:105-129 [Journal]
   
5. Laurent Audibert, Cédric Lhoussaine, Karl Schlechta
   Distance Based Revision of Preferential Logics. [Citation Graph (0, 0)][DBLP]
   Logic Journal of the IGPL, 1999, v:7, n:4, pp:429-446 [Journal]
   
6. Cédric Lhoussaine
   Type inference for a distributed \pi-calculus. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2004, v:50, n:1-3, pp:225-251 [Journal]
   
7. Roberto M. Amadio, Gérard Boudol, Cédric Lhoussaine
   The receptive distributed pi-calculus. [Citation Graph (0, 0)][DBLP]
   ACM Trans. Program. Lang. Syst., 2003, v:25, n:5, pp:549-577 [Journal]
   
8. Céline Kuttler, Cédric Lhoussaine, Joachim Niehren
   A Stochastic Pi Calculus for Concurrent Objects. [Citation Graph (0, 0)][DBLP]
   AB, 2007, pp:232-246 [Conf]
   
9. 
   The Attributed Pi Calculus. [Citation Graph (, )][DBLP]
   
   
10. 
    Dynamic Compartments in the Imperative pi-Calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    Rule-based Modeling of Transcriptional Attenuation at the Tryptophan Operon. [Citation Graph (, )][DBLP]