- Timed Concurrent Constraint Programming: Decidability Results and their Application to LTL
- A Temporal Concurrent Constraint Programming Calculus
- On Recursion, Replication and Scope Mechanisms in Process Calculi
- Nordic Journal of Computing 9(2002), 145188. TEMPORAL CONCURRENT CONSTRAINT
- EXPRESS 2007 Linearity, Persistence and Testing Semantics
- Concurrency, Time and Constraints Frank D. Valencia
- On the Computational Limits of Infinite Satisfaction Stefan Dantchev
- From Computability to Concurrency Theory Calculus of Comunicating Systems CCS
- A Calculus for Concurrent Processes with Constraints Juan Francisco DIAZ FRIAS y
- On the Expressive Power of Temporal Concurrent Constraint Programming Languages
- Temporal Concurrent Constraint Programming: Applications and Behavior
- On the Expressiveness of CCS-like Calculi
- Formally Reasoning About Security Issues in P2P Protocols: A Case Study
- On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus
- On the asynchronous nature of the asynchronous Romain Beauxis, Catuscia Palamidessi, and Frank D. Valencia
- Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach
- On the Expressive Power of Restriction and Priorities in CCS with replication
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- The Expressivity of Universal Timed CCP: Undecidability of Monadic FLTL and Closure Operators for Security
- CCS with Replication in the Chomsky Hierarchy: The Expressive Power of Divergence
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- MeCBIC 2006 Timed Concurrent Constraint Programming
- LANGUAGES FOR CONCURRENCY Catuscia Palamidessi
- A TEMPORAL CONCURRENT CONSTRAINT CALCULUS AS AN AUDIO PROCESSING FRAMEWORK
- Non-Viability Deductions in Arc-Consistency Computation
- On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi
- a, b, c, ... ii Pi
- Notes on Timed CCP Mogens Nielsen and Frank D. Valencia
- Proving Musical Properties using a temporal Concurrent Constraint Calculus
- Constraints, 6, 2152, 2001 c 2001 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
- Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security
- A Declarative Framework for Security: Secure Concurrent Constraint Programming
