Search the dblp DataBase

Publications of Author

1. Mogens Nielsen, Frank D. Valencia
   Notes on Timed Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   Lectures on Concurrency and Petri Nets, 2003, pp:702-741 [Conf]
   
2. Mogens Nielsen, Frank D. Valencia
   Temporal Concurrent Constraint Programming: Applications and Behavior. [Citation Graph (0, 0)][DBLP]
   Formal and Natural Computing, 2002, pp:298-324 [Conf]
   
3. Catuscia Palamidessi, Frank D. Valencia
   A Temporal Concurrent Constraint Programming Calculus. [Citation Graph (0, 0)][DBLP]
   CP, 2001, pp:302-316 [Conf]
   
4. Frank D. Valencia
   Temporal Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   CP, 2001, pp:786- [Conf]
   
5. Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
   On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2004, pp:226-240 [Conf]
   
6. Hugo A. López, Catuscia Palamidessi, Jorge Andrés Pérez, Camilo Rueda, Frank D. Valencia
   A Declarative Framework for Security: Secure Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
   ICLP, 2006, pp:449-450 [Conf]
   
7. Camilo Rueda, Frank D. Valencia
   Non-viability Deductions in Arc-Consistency Computation. [Citation Graph (0, 0)][DBLP]
   ICLP, 2004, pp:343-355 [Conf]
   
8. Frank D. Valencia
   Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL. [Citation Graph (0, 0)][DBLP]
   ICLP, 2003, pp:422-437 [Conf]
   
9. Frank D. Valencia
   Concurrency, Time, and Constraints. [Citation Graph (0, 0)][DBLP]
   ICLP, 2003, pp:72-101 [Conf]
   
10. Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
    On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:59-68 [Conf]
    
11. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
    On the expressive power of temporal concurrent constraint programming languages. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:156-167 [Conf]
    
12. Stefan S. Dantchev, Frank D. Valencia
    On the computational limits of infinite satisfaction. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:393-397 [Conf]
    
13. Juan Francisco Díaz, Camilo Rueda, Frank D. Valencia
    Pi+- Calculus: A Calculus for Concurrent Processes with Constraints. [Citation Graph (0, 0)][DBLP]
    CLEI Electron. J., 1998, v:1, n:2, pp:- [Journal]
    
14. Camilo Rueda, Gloria Alvarez, Luis O. Quesada, Gabriel Tamura, Frank D. Valencia, Juan Francisco Díaz, Gerard Assayag
    Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language. [Citation Graph (0, 0)][DBLP]
    Constraints, 2001, v:6, n:1, pp:21-52 [Journal]
    
15. Catuscia Palamidessi, Frank D. Valencia
    Recursion vs Replication in Process Calculi: Expressiveness. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 2005, v:87, n:, pp:105-125 [Journal]
    
16. Mogens Nielsen, Catuscia Palamidessi, Frank D. Valencia
    Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2002, v:9, n:1, pp:145-188 [Journal]
    
17. Camilo Rueda, Frank D. Valencia
    On validity in modelization of musical problems by CCP. [Citation Graph (0, 0)][DBLP]
    Soft Comput., 2004, v:8, n:9, pp:641-648 [Journal]
    
18. Frank D. Valencia
    Decidability of infinite-state timed CCP processes and first-order LTL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:330, n:3, pp:577-607 [Journal]
    
19. 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]
    
20. 
    Concurrent and Reactive Constraint Programming. [Citation Graph (, )][DBLP]
    
    
21. 
    CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence. [Citation Graph (, )][DBLP]
    
    
22. 
    On the Asynchronous Nature of the Asynchronous pi-Calculus. [Citation Graph (, )][DBLP]
    
    
23. 
    On Recursion, Replication and Scope Mechanisms in Process Calculi. [Citation Graph (, )][DBLP]
    
    
24. 
    On the Expressive Power of Restriction and Priorities in CCS with Replication. [Citation Graph (, )][DBLP]
    
    
25. 
    Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming. [Citation Graph (, )][DBLP]
    
    
26. 
    An Overview of FORCES: An INRIA Project on Declarative Formalisms for Emergent Systems. [Citation Graph (, )][DBLP]
    
    
27. 
    The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security. [Citation Graph (, )][DBLP]
    
    
28. 
    Universal concurrent constraint programing: symbolic semantics and applications to security. [Citation Graph (, )][DBLP]
    
    
29. 
    Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. [Citation Graph (, )][DBLP]
    
    
30. 
    Preface. [Citation Graph (, )][DBLP]