@COMMENT{{{This file has been generated by bib2bib 1.74}}
@COMMENT{{{Command line: ./bib2bib -c 'year>=1998 & year <= 2013' -c 'author: "valencia"' papers.bib}}
@INPROCEEDINGS{aristizabal:hal-00641408,
ADDRESS = {Trento, Italy},
AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.},
BOOKTITLE = {{27th ACM Symposium On Applied Computing}},
TITLE = {{Partition Refinement for Bisimilarity in CCP}},
URL = {http://hal.inria.fr/hal-00641408},
X-ID-HAL = {hal-00641408},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{knight:hal-00761116,
ADDRESS = {Newcastle upon Tyne, United Kingdom},
AUTHOR = {Knight, Sophia and Palamidessi, Catuscia and Panangaden, Prakash and Valencia, Frank D.},
BOOKTITLE = {Proceedings of {CONCUR 2012 - Concurrency Theory - 23rd International Conference, CONCUR 2012}},
DOI = {10.1007/978-3-642-32940-1},
MONTH = SEP,
PAGES = {317-332},
TITLE = {{Spatial and Epistemic Modalities in Constraint-Based Process Calculi}},
URL = {http://hal.inria.fr/hal-00761116},
VOLUME = {7454},
X-ID-HAL = {hal-00761116},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{giunti:hal-00761118,
ADDRESS = {New Castle upon Tyne, United Kingdom},
AUTHOR = {Giunti, Marco and Palamidessi, Catuscia and Valencia, Frank D.},
BOOKTITLE = {{Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012)}},
DOI = {10.4204/EPTCS.89},
MONTH = AUG,
PAGES = {65-80},
TITLE = {{Hide and New in the Pi-Calculus}},
URL = {http://hal.inria.fr/hal-00761118},
X-ID-HAL = {hal-00761118},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{aristizabal:hal-00761611,
ADDRESS = {Stockholm, Sweden},
AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.},
BOOKTITLE = {{Fifth Interaction and Concurrency Experience}},
DOI = {10.4204/EPTCS.104},
MONTH = DEC,
NOTE = {EPTCS},
PAGES = {2-16},
TITLE = {{Reducing Weak to Strong Bisimilarity in CCP}},
URL = {http://hal.inria.fr/hal-00761611},
X-ID-HAL = {hal-00761611},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
YEAR = {2012}
}
@INPROCEEDINGS{barco:hal-00761679,
ADDRESS = {Nagoya, Japan},
AUTHOR = {Barco, Andr{\'e}s and Knight, Sophia and Valencia, Frank D.},
BOOKTITLE = {{21st Workshop on Functional and (Constraint) Logic Programming (WFLP2012)}},
MONTH = MAY,
TITLE = {{K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter}},
URL = {http://hal.inria.fr/hal-00761679},
X-ID-HAL = {hal-00761679},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {no},
YEAR = {2012}
}
@INPROCEEDINGS{hermith:2011:hal-00641433:1,
AUTHOR = {Hermith, Diana and Olarte, Carlos and Rueda, Camilo and Valencia, Frank D.},
X-PAYS = {CO},
TITLE = {{Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach}},
BOOKTITLE = {{PACBB}},
YEAR = {2011},
SERIES = {Advances in Intelligent and Soft Computing},
EDITOR = {Miguel P. Rocha and Juan M. Corchado Rodriguez and Florentino Fdez-Riverola and Alfonso Valencia},
DOI = {10.1007/ISBN 978-3-642-19913-4},
PUBLISHER = {Springer},
VOLUME = {93},
PAGES = {321-328},
ADDRESS = {Salamanca, Spain},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/hal-00641433/en},
X-ID-HAL = {hal-00641433}
}
@INPROCEEDINGS{aristizabal:2011:hal-00546722:1,
AUTHOR = {Aristizabal, Andr\'es and Bonchi, Filippo and Palamidessi, Catuscia and Pino, Luis and Valencia, Frank D.},
TITLE = {{Deriving Labels and Bisimilarity for Concurrent Constraint Programming}},
BOOKTITLE = { {Proceedings of the 14th International Conference on Foundations of Software Science an Computation Structures (FOSSACS 2011). }},
YEAR = {2011},
SERIES = {Lecture Notes in Computer Science},
EDITOR = {Martin Hofmann},
DOI = {10.1007/ISBN 978-3-642-19804-5},
PUBLISHER = {Springer},
VOLUME = {6604},
PAGES = {138-152},
ADDRESS = {Saarbr{\"u}cken, Germany},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/hal-00546722/en},
X-ID-HAL = {hal-00546722}
}
@INPROCEEDINGS{aristizabal:2011:hal-00641408:1,
AUTHOR = {Aristizabal, Andr{\'e}s and Bonchi, Filippo and Pino, Luis and Valencia, Frank D.},
TITLE = {{Partition Refinement for Bisimilarity in CCP}},
YEAR = {2012},
BOOKTITLE = {Proceedings of the 27th ACM Symposium On Applied Computing to be held in Riva del Garda (Trento), Italy. March 26-30, 2012},
PUBLISHER = {ACM},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PROCEEDINGS = {yes},
URL = {http://hal.inria.fr/hal-00641408/en},
X-ID-HAL = {hal-00641408}
}
@PROCEEDINGS{Luttik:2011,
X-PROCEEDINGS = {yes},
AUTHOR = {Bas Luttik and Frank D. Valencia},
X-PAYS = {NL},
TITLE = {{Proceedings of the Eighth International Conference on Quantitative Evaluation of SysTems}},
YEAR = {2011},
EDITOR = {Bas Luttik and Frank D. Valencia},
PAGES = {131 pages},
PUBLISHER = {Electronic Proceedings in Theoretical Computer Science},
SERIES = {Electronic Proceedings in Theoretical Computer Science},
VOLUME = {64},
DOI = {10.4204/EPTCS.64},
URL = {aristizabal:2011:hal-00641408:1},
X-INTERNATIONAL-AUDIENCE = {yes}
}
@INCOLLECTION{gabbrielli:2010:hal-00545256:1,
AUTHOR = {Gabbrielli, Maurizio and Palamidessi, Catuscia and Valencia, Frank D.},
BOOKTITLE = {A 25-Year Perspective on Logic Programming},
DATE-ADDED = {2010-12-30 03:55:53 +0100},
DATE-MODIFIED = {2010-12-30 03:55:53 +0100},
DOI = {10.1007/978-3-642-14309-0{\_}11},
EDITOR = {Agostino Dovier and Enrico Pontelli},
MONTH = JUN,
PAGES = {231-253},
PUBLISHER = {Springer},
TITLE = {Concurrent and Reactive Constraint Programming},
URL = {http://hal.inria.fr/hal-00545256/en},
X-ID-HAL = {hal-00545256},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PAYS = {IT},
YEAR = {2010},
BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-642-14309-0%7B%5C_%7D11}
}
@INPROCEEDINGS{Aranda:09:ICLP,
AUTHOR = {Jesus Aranda and G{\'e}rard Assayag and Carlos Olarte and Jorge A. P{\'e}rez and Camilo Rueda and Mauricio Toro and Frank D. Valencia},
BOOKTITLE = {Proceeding of the 25th International Conference, ICLP'09},
DATE-ADDED = {2010-12-30 03:55:02 +0100},
DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
DOI = {10.1007/978-3-642-02846-5\_4},
EDITOR = {Patricia M. Hill and David Scott Warren},
ISBN = {978-3-642-02845-8},
LIXCATEGORIE = {CIA},
LIXEQUIPE = {comete},
PAGES = {509-513},
PUBLISHER = {Springer},
SERIES = {Lectures Notes in Computer Science},
TITLE = {An {O}verview of {F}{O}{R}{C}{E}{S}: An {I}{N}{R}{I}{A} Project on Declarative Formalisms for Emergent Systems},
URL = {http://hal.inria.fr/inria-00426610/en/},
VOLUME = {5649},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PAYS = {IT,CO},
X-PROCEEDINGS = {yes},
YEAR = {2009},
BDSK-URL-1 = {http://hal.inria.fr/inria-00426610/en/},
BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-02846-5%5C_4}
}
@INPROCEEDINGS{Olarte:09:IRCAM,
ADDRESS = {Paris, France},
AUTHOR = {Carlos Olarte and Camilo Rueda and Frank D. Valencia},
BOOKTITLE = {New Computational Paradigms for Computer Music},
CHAPTER = {3},
DATE-ADDED = {2010-12-30 03:55:02 +0100},
DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
EDITOR = {G\'{e}rard Assayag and Andrew Gerzso},
LIXCATEGORIE = {CIA},
LIXEQUIPE = {comete},
PAGES = {400--402},
PUBLISHER = {Delatour France / Ircam-Centre Pompidou},
TITLE = {{C}oncurrent {C}onstraint {P}rogramming: a Declarative Paradigm for Modeling Music Systems},
URL = {http://hal.inria.fr/inria-00429592/en/},
X-INTERNATIONAL-AUDIENCE = {no},
X-PAYS = {CO},
X-PROCEEDINGS = {yes},
YEAR = {2009},
BDSK-URL-1 = {http://hal.inria.fr/inria-00429592/en/}
}
@INPROCEEDINGS{Aranda:09:FOSSACS,
AUTHOR = {{A}randa, {J}esus and {V}alencia, {F}rank D. and {V}ersari, {C}ristian},
BOOKTITLE = {{P}roceedings of the 12th {I}nternational {C}onference on {F}oundations of {S}oftware {S}cience and {C}omputational {S}tructures, FOSSACS'09},
DATE-ADDED = {2010-12-30 03:55:02 +0100},
DATE-MODIFIED = {2010-12-30 03:55:02 +0100},
DOI = {10.1007/978-3-642-00596-1\_18},
EDITOR = {Luca de Alfaro},
KEYWORDS = {{P}rocess calculi, {E}xpressiveness, {C}omputability},
LANGUAGE = {{E}nglish},
LIXCATEGORIE = {CIA},
LIXEQUIPE = {comete},
PAGES = {242-256},
PUBLISHER = {Springer},
SERIES = {{Lectures Notes in Computer Science}},
TITLE = {{O}n the {E}xpressive {P}ower of {R}estriction and {P}riorities in {CCS} with replication},
URL = {http://hal.inria.fr/inria-00430531/en/},
VOLUME = {5504},
X-INTERNATIONAL-AUDIENCE = {yes},
X-PAYS = {IT},
X-PROCEEDINGS = {yes},
YEAR = {2009},
BDSK-URL-1 = {http://hal.inria.fr/inria-00430531/en/},
BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-642-00596-1%5C_18}
}
@INPROCEEDINGS{Beauxis:08:BOOK,
AUTHOR = {Romain Beauxis and Catuscia Palamidessi and Frank D. Valencia},
BOOKTITLE = {Concurrency, Graphs and Models},
DATE-ADDED = {2008-12-30 06:11:03 +0100},
DATE-MODIFIED = {2008-12-30 06:11:03 +0100},
DOI = {10.1007/978-3-540-68679-8_29},
EDITOR = {Pierpaolo Degano and Rocco {De Nicola} and Jos\'e Meseguer},
PAGES = {473-492},
PDF = {http://www.lix.polytechnique.fr/~catuscia/papers/Romain/asynchronouspi.pdf},
PUBLISHER = {Springer},
READ = {Yes},
SERIES = {Lecture Notes in Computer Science},
TITLE = {On the Asynchronous Nature of the Asynchronous pi-Calculus},
URL = {http://hal.inria.fr/inria-00349226/en/},
VOLUME = {5065},
YEAR = {2008},
BDSK-URL-1 = {http://hal.inria.fr/inria-00349226/en/},
BDSK-URL-2 = {http://dx.doi.org/10.1007/978-3-540-68679-8_29},
BDSK-URL-3 = {http://www.lix.polytechnique.fr/~catuscia/papers/Romain/asynchronouspi.pdf}
}
@INPROCEEDINGS{Aranda:08:ICLP,
AUTHOR = {Jes{\'u}s Aranda and Jorge A. P{\'e}rez and Camilo Rueda and Frank D. Valencia},
BOOKTITLE = {24th International Conference on Logic Programming},
DATE-ADDED = {2008-12-24 16:40:08 +0100},
DATE-MODIFIED = {2008-12-24 16:42:59 +0100},
DOI = {10.1007/978-3-540-89982-2},
EDITOR = {Maria Garcia de la Banda and Enrico Pontelli},
PAGES = {682-686},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming},
VOLUME = {5366},
YEAR = {2008},
BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-540-89982-2}
}
@INPROCEEDINGS{Olarte:08:PPDP,
AUTHOR = {Carlos Olarte and Frank D. Valencia},
BOOKTITLE = {Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming},
DATE-ADDED = {2008-12-24 16:32:28 +0100},
DATE-MODIFIED = {2008-12-30 05:38:27 +0100},
DOI = {10.1145/1389449.1389452},
EDITOR = {Sergio Antoy and Elvira Albert},
PAGES = {8-19},
TITLE = {The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security},
URL = {http://hal.inria.fr/inria-00349353/en/},
YEAR = {2008},
BDSK-URL-1 = {http://dx.doi.org/10.1145/1389449.1389452}
}
@INPROCEEDINGS{Olarte:08:SAC,
AUTHOR = {Carlos Olarte and Frank D. Valencia},
BOOKTITLE = {Proceedings of the 23rd ACM Symposium on Applied Computing (SAC)},
DATE-ADDED = {2007-12-09 23:59:15 +0100},
DATE-MODIFIED = {2008-12-30 06:06:40 +0100},
DOI = {10.1145/1363686.1363726},
NOTE = {\url{http://www.lix.polytechnique.fr/~colarte/colarte/Publications_files/sac08.pdf}},
PAGES = {145-150},
PDF = {http://www.lix.polytechnique.fr/~colarte/colarte/Publications_files/sac08.pdf},
PUBLISHER = {ACM},
TITLE = {Universal Concurrent Constraint Programing: Symbolic Semantics and Applications to Security},
URL = {http://hal.inria.fr/inria-00201497/en/},
YEAR = 2008,
BDSK-URL-1 = {http://dx.doi.org/10.1145/1363686.1363726},
BDSK-URL-2 = {http://hal.inria.fr/inria-00201497/en/},
BDSK-URL-3 = {http://www.lix.polytechnique.fr/~colarte/colarte/Publications_files/sac08.pdf}
}
@INPROCEEDINGS{Cacciagrano:07:EXPRESS,
AUTHOR = {Diletta Cacciagrano and Flavio Corradini and Jes\'us Aranda and Frank D. Valencia},
BOOKTITLE = {Proc. of 14th International Workshop on Expressiveness of Concurrency, ({EXPRESS}'07)},
DATE-MODIFIED = {2008-12-28 17:52:46 +0100},
DOI = {10.1016/j.entcs.2007.11.006},
EDITOR = {Roberto Amadio and Thomas Hildenbrandt},
NOTE = {\url{http://www.brics.dk/~fvalenci/papers/pers-test.pdf}},
PAGES = {59-84},
PUBLISHER = {Elsevier},
SERIES = {ENTCS},
TITLE = {Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus},
VOLUME = {194},
YEAR = {2008},
BDSK-URL-1 = {http://dx.doi.org/10.1016/j.entcs.2007.11.006}
}
@INPROCEEDINGS{Aranda:06:FMCO,
AUTHOR = {Jesus Aranda and Cinzia Di Giusto and Catuscia Palamidessi and Frank Valencia},
BOOKTITLE = {Postproceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO'06)},
DATE-MODIFIED = {2008-02-06 03:14:14 +0100},
EDITOR = {Frank S. {de Boer} and Marcello M. Bonsangue},
NOTE = {\url{http://www.lix.polytechnique.fr/~fvalenci/papers/fmco07.pdf}},
PAGES = {185-206},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Expressiveness of Recursion, Replication and Scope Mechanisms in Process Calculi},
VOLUME = {4709},
YEAR = {2007}
}
@INPROCEEDINGS{Aranda:07:APLAS,
AUTHOR = {J. Aranda and C. Di Giusto and M. Nielsen and F. Valencia},
BOOKTITLE = {Proc. of The Fifth ASIAN Symposium on Programming Languages ({APLAS'07})},
DATE-MODIFIED = {2008-12-24 16:21:17 +0100},
DOI = {10.1007/978-3-540-76637-7_26},
NOTE = {\url{http://www.brics.dk/~fvalenci/papers/aplas.pdf}},
NUMBER = {4807},
PAGES = {383-398},
PUBLISHER = {Springer},
SERIES = {LNCS},
TITLE = {{CCS} with Replication in the {C}homsky Hierarchy: The Expressive Power of Divergence},
YEAR = {2007},
BDSK-URL-1 = {http://dx.doi.org/10.1007/978-3-540-76637-7_26}
}
@INPROCEEDINGS{Rueda:04:ICLP,
AUTHOR = {C. Rueda and F. Valencia},
BOOKTITLE = {Proc. of the Nineteenth International Conference on Logic Programming (ICLP 2004)},
EDITOR = {Bart Demoen and Vladimir Lifschitz},
ISBN = {3-540-22671-0},
PAGES = {343--355},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Non-Viability Deductions in Arc-Consistency Computation.},
VOLUME = {3132},
YEAR = {2004}
}
@INPROCEEDINGS{Gutierrez:06:MembraneComputing,
AUTHOR = {Julian Gutierrez and Jorge Perez and Camilo Rueda and Frank D. Valencia},
BOOKTITLE = {Proceedings of Workshop on Membrane Computing and Biologically Inspired Process Calculi.},
DATE-MODIFIED = {2008-12-28 18:01:42 +0100},
NOTE = {\url{http://www.brics.dk/~fvalenci/papers/bioccp.pdf}},
PAGES = {117--137},
PUBLISHER = {Elsevier Science B.V.},
SERIES = {Electronic Notes in Theoretical Computer Science},
TITLE = {Timed Concurrent Constraint Programming for Analyzing Biological Systems.},
VOLUME = {171 (2)},
YEAR = {2007}
}
@ARTICLE{Rueda:04:SC,
AUTHOR = {Camilo Rueda and Frank D. Valencia},
JOURNAL = {Soft Computing},
NUMBER = {9},
PAGES = {641--648},
PUBLISHER = {Springer},
TITLE = {On validity in modelization of musical problems by {CCP}},
VOLUME = {8},
YEAR = {2004}
}
@INPROCEEDINGS{Olarte:07:ICLP,
AUTHOR = {Carlos Olarte and Catuscia Palamidessi and Frank D. Valencia},
BOOKTITLE = {Proceedings of the 23rd International Conference in Logic Programming (ICLP'07)},
EDITOR = {Ver{\'o}nica Dahl and Ilkka Niemel{\"a}},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07DC.pdf}},
PAGES = {464--465},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Universal Timed Concurrent Constraint Programming},
VOLUME = {4670},
YEAR = 2007
}
@INPROCEEDINGS{Falaschi:07:ICLP,
AUTHOR = {Moreno Falaschi and Carlos Olarte and Catuscia Palamidessi and Frank D. Valencia},
BOOKTITLE = {Proceedings of The 23rd International Conference in Logic Programming (ICLP'07)},
EDITOR = {Ver{\'o}nica Dahl and Ilkka Niemel{\"a}},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07.pdf}},
PAGES = {271--285},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {Declarative Diagnosis of Temporal Concurrent Constraint Programs},
VOLUME = {4670},
YEAR = 2007
}
@ARTICLE{Palamidessi:06:EATCS,
AUTHOR = {C. Palamidessi and F. Valencia},
JOURNAL = {Bulletin of the European Association for Theoretical Computer Science},
MONTH = OCT,
NOTE = {Column: Programming Languages. \url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/EATCS_06/paper.pdf}},
PAGES = {155--171},
TITLE = {Languages for Concurrency},
VOLUME = {90},
YEAR = {2006}
}
@INPROCEEDINGS{Lopez:06:ICLP,
AUTHOR = {Hugo A. L{\'o}pez and Catuscia Palamidessi and Jorge and Camilo Rueda and Frank D. Valencia},
BOOKTITLE = {Proceedings of the 22nd International Conference on logic Programming, (ICLP)},
DATE-MODIFIED = {2007-12-26 04:06:43 +0100},
EDITOR = {Sandro Etalle and Miroslaw Truszczynski},
PAGES = {449--450},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {A Declarative Framework for Security: Secure Concurrent Constraint Programming},
VOLUME = {4079},
YEAR = {2006}
}
@INPROCEEDINGS{Palamidessi:06:LICS,
AUTHOR = {Catuscia Palamidessi and Vijay A. Saraswat and Frank D. Valencia and Bj{\"o}rn Victor},
BOOKTITLE = {Proceedings of the Twenty First Annual IEEE Symposium on Logic in Computer Science (LICS)},
DATE-MODIFIED = {2008-12-28 17:04:57 +0100},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/LICS_06/main.pdf}},
PAGES = {59--68},
PUBLISHER = {IEEE Computer Society},
TITLE = {On the Expressiveness of Linearity vs Persistence in the Asynchronous pi-calculus},
URL = {http://hal.inria.fr/inria-00201096/en/},
YEAR = 2006,
BDSK-URL-1 = {http://hal.inria.fr/inria-00201096/en/}
}
@ARTICLE{Palamidessi:05:EATCS,
AUTHOR = {Catuscia Palamidessi and Frank D. Valencia},
BIBDATE = {2005-11-14},
DATE-MODIFIED = {2010-01-09 05:21:19 +0100},
JOURNAL = {Bulletin of the EATCS},
NOTE = {Column: Concurrency. \url{http://www.lix.polytechnique.fr/~catuscia/papers/Frank/EATCS_05/recrep.pdf}},
PAGES = {105--125},
TITLE = {Recursion vs Replication in Process Calculi: Expressiveness},
VOLUME = {87},
YEAR = {2005}
}
@INPROCEEDINGS{Palamidessi:01:CP,
AUTHOR = {Catuscia Palamidessi and Frank D. Valencia},
BOOKTITLE = {Proc. of the 7th International Conference on Principles and Practice of Constraint Programming},
DATE-MODIFIED = {2010-01-09 05:21:39 +0100},
EDITOR = {Toby Walsh},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/Ntcc/final.ps}},
PAGES = {302--316},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {A Temporal Concurrent Constraint Programming Calculus},
VOLUME = {2239},
YEAR = {2001}
}
@INPROCEEDINGS{Nielsen:02:PPDP,
ADDRESS = {New York},
AUTHOR = {Mogens Nielsen and Catuscia Palamidessi and Frank D. Valencia},
BOOKTITLE = {Proceedings of the Fourth {ACM} {SIGPLAN} Conference on Principles and Practice of Declarative Programming},
MONTH = OCT # {6--8},
NOTE = {\url{http://www.lix.polytechnique.fr/~catuscia/papers/ppdp02.ps}},
PAGES = {156--167},
PUBLISHER = {ACM Press},
TITLE = {On the expressive power of temporal concurrent constraint programming languages},
YEAR = {2002}
}
@ARTICLE{Nielsen:01:TCC,
AUTHOR = {Mogens Nielsen and Frank D. Valencia},
BIBDATE = {Tue Sep 10 19:09:20 MDT 2002},
CODEN = {LNCSD9},
ISSN = {0302-9743},
JOURNAL = {Lecture Notes in Computer Science},
PAGES = {298--324},
TITLE = {Temporal Concurrent Constraint Programming: Applications and Behavior},
VOLUME = {2300},
YEAR = {2001}
}
@ARTICLE{Nielsen:02:NJC,
AUTHOR = {M. Nielsen and C. Palamidessi and F. Valencia},
JOURNAL = {Nordic Journal of Computing},
NOTE = {\url {http://www.lix.polytechnique.fr/~catuscia/papers/Ntcc/njc02.ps}},
PAGES = {145--188},
TITLE = {Temporal Concurrent Constraint Programming: Denotation, Logic and Applications},
VOLUME = {9},
YEAR = {2002}
}
@ARTICLE{Valencia:05:TCS,
AUTHOR = {Frank D. Valencia},
JOURNAL = {Theoretical Computer Science},
NUMBER = {3},
PAGES = {577--607},
TITLE = {Decidability of infinite-state timed {CCP} processes and first-order {LTL}},
VOLUME = {330},
YEAR = {2005}
}
@INPROCEEDINGS{Dantchev:05:SAC,
AUTHOR = {Stefan S. Dantchev and Frank D. Valencia},
BOOKTITLE = {Proceedings of the 20th ACM Symposium on Applied Computing},
PAGES = {393--397},
PDF = {http://www.brics.dk/~fvalenci/icsp_sac05.pdf},
PUBLISHER = {ACM Press},
TITLE = {On the computational limits of infinite satisfaction},
YEAR = {2005}
}
@INPROCEEDINGS{Giambiagi:04:FOSSACS,
AUTHOR = {Pablo Giambiagi and Gerardo Schneider and Frank D. Valencia},
BOOKTITLE = {Proceedings of the 7th International Conference on the Foundations of Software Science and Computation Structures (FOSSACS 2004)},
EDITOR = {Igor Walukiewicz},
ISBN = {3-540-21298-1},
PAGES = {226--240},
PDF = {http://www.brics.dk/~fvalenci/fossacs04.pdf},
PUBLISHER = {Springer},
SERIES = {Lecture Notes in Computer Science},
TITLE = {On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi},
VOLUME = {2987},
YEAR = {2004}
}
This file has been generated by bibtex2html 1.74