Search the dblp DataBase

Publications of Author

1. Julian Gutiérrez, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia
   Timed Concurrent Constraint Programming for Analysing Biological Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:171, n:2, pp:117-137 [Journal]
   
2. 
   On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. [Citation Graph (, )][DBLP]
   
   
3. 
   Non-determinism and Probabilities in Timed Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
   
   
4. 
   Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
   
   
5. 
   An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. [Citation Graph (, )][DBLP]
   
   
6. 
   On the Expressiveness of Forwarding in Higher-Order Communication. [Citation Graph (, )][DBLP]
   
   
7. 
   On the Expressiveness and Decidability of Higher-Order Process Calculi. [Citation Graph (, )][DBLP]
   
   
8. 
   Towards a Unified Framework for Declarative Structured Communications [Citation Graph (, )][DBLP]