Frank D. Valencia
Frank D. Valencia
Verified email at - Homepage
Cited by
Cited by
Temporal concurrent constraint programming: Denotation, logic and applications
M Nielsen, C Palamidessi, FD Valencia
Nord. J. Comput. 9 (1), 145-188, 2002
Spatial and epistemic modalities in constraint-based process calculi
S Knight, C Palamidessi, P Panangaden, FD Valencia
International Conference on Concurrency Theory, 317-332, 2012
Universal concurrent constraint programing: symbolic semantics and applications to security
C Olarte, FD Valencia
Proceedings of the 2008 ACM symposium on Applied computing, 145-150, 2008
On the expressiveness of linearity vs persistence in the asychronous pi-calculus
C Palamidessi, V Saraswat, FD Valencia, B Victor
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 59-68, 2006
A temporal concurrent constraint programming calculus
C Palamidessi, FD Valencia
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
Models and emerging trends of concurrent constraint programming
C Olarte, C Rueda, FD Valencia
Constraints 18, 535-578, 2013
On the expressive power of temporal concurrent constraint programming languages
M Nielsen, C Palamidessi, FD Valencia
Proceedings of the 4th ACM SIGPLAN International Conference on Principles …, 2002
Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
C Rueda, G Alvarez, LO Quesada, G Tamura, F Valencia, JF Diaz, ...
Constraints 6, 21-52, 2001
On the expressiveness of infinite behavior and name scoping in process calculi
P Giambiagi, G Schneider, FD Valencia
Foundations of Software Science and Computation Structures: 7th …, 2004
Pi+-calculus: A calculus for concurrent processes with constraints
JF Díaz, C Rueda, FD Valencia
CLEI Electronic Journal 1 (2), 2: 1-2: 14, 1998
Deriving labels and bisimilarity for concurrent constraint programming
A Aristizábal, F Bonchi, C Palamidessi, L Pino, F Valencia
Foundations of Software Science and Computational Structures: 14th …, 2011
The expressivity of universal timed CCP: Undecidability of monadic FLTL and closure operators for security
C Olarte, FD Valencia
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
Decidability of infinite-state timed CCP processes and first-order LTL
FD Valencia
Theoretical Computer Science 330 (3), 577-607, 2005
Recursion vs replication in process calculi: Expressiveness
C Palamidessi, FD Valencia
Bulletin-European Association for Theoretical Computer Science 87, 105-125, 2005
On the Asynchronous Nature of the Asynchronous π-Calculus
R Beauxis, C Palamidessi, FD Valencia
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008
Concurrent constraints models of music interaction
M Toro, C Rueda, F Valencia, G Sarria, C Olarte
Constraint Programming in Music, 133, 2011
Timed concurrent constraint programming for analysing biological systems
J Gutiérrez, JA Pérez, C Rueda, FD Valencia
Electronic Notes in Theoretical Computer Science 171 (2), 117-137, 2007
An overview of FORCES: an INRIA project on declarative formalisms for emergent systems
J Aranda, G Assayag, C Olarte, JA Pérez, C Rueda, M Toro, FD Valencia
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
Temporal concurrent constraint programming
FD Valencia
CP 1, 786, 2001
On the expressive power of restriction and priorities in ccs with replication
J Aranda, FD Valencia, C Versari
International Conference on Foundations of Software Science and …, 2009
The system can't perform the operation now. Try again later.
Articles 1–20