Search the dblp DataBase

Publications of Author

1. Carlos Olarte, Catuscia Palamidessi, Frank Valencia
   Universal Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   ICLP, 2007, pp:464-465 [Conf]
   
2. Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi, Frank Valencia
   Declarative Diagnosis of Temporal Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP]
   ICLP, 2007, pp:271-285 [Conf]
   
3. 
   An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. [Citation Graph (, )][DBLP]
   
   
5. 
   A framework for abstract interpretation of timed concurrent constraint programs. [Citation Graph (, )][DBLP]
   
   
6. 
   Universal concurrent constraint programing: symbolic semantics and applications to security. [Citation Graph (, )][DBLP]
   
   
7. 
   A stochastic non-deterministic temporal concurrent constraint calculus. [Citation Graph (, )][DBLP]
   
   
8. 
   A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Towards a Unified Framework for Declarative Structured Communications [Citation Graph (, )][DBLP]