Takip et
Frank D. Valencia
Frank D. Valencia
CNRS, École Polytechnique de Paris
lix.polytechnique.fr üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Temporal concurrent constraint programming: Denotation, logic and applications
M Nielsen, C Palamidessi, FD Valencia
Nord. J. Comput. 9 (1), 145-188, 2002
1402002
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
612008
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
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
592006
Models and emerging trends of concurrent constraint programming
C Olarte, C Rueda, FD Valencia
Constraints 18, 535-578, 2013
552013
A temporal concurrent constraint programming calculus
C Palamidessi, FD Valencia
Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001
552001
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
422001
On the expressiveness of infinite behavior and name scoping in process calculi
P Giambiagi, G Schneider, FD Valencia
International Conference on Foundations of Software Science and Computation …, 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
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
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
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
352005
Concurrent constraints models of music interaction
M Toro, C Rueda, F Valencia, G Sarria, C Olarte
Constraint Programming in Music, 133, 2011
332011
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
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
282017
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
282009
Temporal concurrent constraint programming
FD Valencia
CP 1, 786, 2001
282001
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20