| Temporal concurrent constraint programming: Denotation, logic and applications M Nielsen, C Palamidessi, FD Valencia Nord. J. Comput. 9 (1), 145-188, 2002 | 140 | 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 | 58 | 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 | 58 | 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 | 57 | 2006 |
| A temporal concurrent constraint programming calculus C Palamidessi, FD Valencia Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001 | 56 | 2001 |
| Models and emerging trends of concurrent constraint programming C Olarte, C Rueda, FD Valencia Constraints 18, 535-578, 2013 | 54 | 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 | 54 | 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 | 41 | 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 | 40 | 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 | 39 | 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 | 36 | 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 | 36 | 2008 |
| Decidability of infinite-state timed CCP processes and first-order LTL FD Valencia Theoretical Computer Science 330 (3), 577-607, 2005 | 35 | 2005 |
| Recursion vs replication in process calculi: Expressiveness C Palamidessi, FD Valencia Bulletin-European Association for Theoretical Computer Science 87, 105-125, 2005 | 34 | 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 | 33 | 2008 |
| Concurrent constraints models of music interaction M Toro, C Rueda, F Valencia, G Sarria, C Olarte Constraint Programming in Music, 133, 2011 | 32 | 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 | 32 | 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 | 27 | 2009 |
| Temporal concurrent constraint programming FD Valencia CP 1, 786, 2001 | 27 | 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 | 26 | 2009 |
Catuscia PalamidessiInria在 lix.polytechnique.fr 的电子邮件经过验证
