Follow
Frank D. Valencia
Frank D. Valencia
CNRS, École Polytechnique de Paris
Verified email at lix.polytechnique.fr - Homepage
Title
Cited by
Cited by
Year
Temporal concurrent constraint programming: Denotation, logic and applications
M Nielsen, C Palamidessi, FD Valencia
Nord. J. Comput. 9 (1), 145-188, 2002
1412002
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
602012
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
602008
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
582006
A temporal concurrent constraint programming calculus
C Palamidessi, FD Valencia
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
562001
Models and emerging trends of concurrent constraint programming
C Olarte, C Rueda, FD Valencia
Constraints 18, 535-578, 2013
542013
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
542002
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
412001
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
402004
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
391998
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
372008
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
362011
Decidability of infinite-state timed CCP processes and first-order LTL
FD Valencia
Theoretical Computer Science 330 (3), 577-607, 2005
362005
Recursion vs replication in process calculi: Expressiveness
C Palamidessi, FD Valencia
Bulletin-European Association for Theoretical Computer Science 87, 105-125, 2005
342005
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
332008
Concurrent constraints models of music interaction
M Toro, C Rueda, F Valencia, G Sarria, C Olarte
Constraint Programming in Music, 133, 2011
322011
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
322007
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
282009
Belief, knowledge, lies and other utterances in an algebra for space and extrusion
M Guzmán, S Haar, S Perchy, C Rueda, FD Valencia
Journal of Logical and Algebraic Methods in Programming 86 (1), 107-133, 2017
272017
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
272009
The system can't perform the operation now. Try again later.
Articles 1–20