关注
Frank D. Valencia
Frank D. Valencia
在 lix.polytechnique.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Temporal concurrent constraint programming: Denotation, logic and applications
M Nielsen, C Palamidessi, FD Valencia
Nord. J. Comput. 9 (1), 145-188, 2002
1402002
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
582012
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
582008
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
572006
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
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
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
362008
Decidability of infinite-state timed CCP processes and first-order LTL
FD Valencia
Theoretical Computer Science 330 (3), 577-607, 2005
352005
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
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
Temporal concurrent constraint programming
FD Valencia
CP 1, 786, 2001
272001
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
262009
系统目前无法执行此操作,请稍后再试。
文章 1–20