People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers (co-)authored by Jesús Aranda

[1] Jesus Aranda, Gérard Assayag, Carlos Olarte, Jorge A. Pérez, Camilo Rueda, Mauricio Toro, and Frank D. Valencia. An Overview of FORCES: An INRIA project on declarative formalisms for emergent systems. In Patricia M. Hill and David Scott Warren, editors, Proceeding of the 25th International Conference, ICLP'09, volume 5649 of Lectures Notes in Computer Science, pages 509-513. Springer, 2009.
[ bib | http ]
[2] Jesus Aranda, Frank D. Valencia, and Cristian Versari. On the Expressive Power of Restriction and Priorities in CCS with replication. In Luca de Alfaro, editor, Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures, FOSSACS'09, volume 5504 of Lectures Notes in Computer Science, pages 242-256. Springer, 2009.
[ bib | http ]
[3] Angela Villota, Jesus Aranda, and Diaz Juan Francisco. Modelando Sistemas de Membranas en ntcc. In Proceedings of the XXXV Latin American Informatics Conference, CLEI'09, 2009.
[ bib | http ]
[4] Jesus Aranda. On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus. PhD thesis, LIX, Ecole Polytechnique, France, and EISC, Universidad del Valle, Colombia, 2009.
[ bib | http ]
[5] Jesús Aranda, Jorge A. Pérez, Camilo Rueda, and Frank D. Valencia. Stochastic behavior and explicit discrete time in concurrent constraint programming. In Maria Garcia de la Banda and Enrico Pontelli, editors, 24th International Conference on Logic Programming, volume 5366 of Lecture Notes in Computer Science, pages 682-686. Springer, 2008.
[ bib ]
[6] Diletta Cacciagrano, Flavio Corradini, Jesús Aranda, and Frank D. Valencia. Linearity, persistence and testing semantics in the asynchronous pi-calculus. In Roberto Amadio and Thomas Hildenbrandt, editors, Proc. of 14th International Workshop on Expressiveness of Concurrency, (EXPRESS'07), volume 194 of ENTCS, pages 59-84. Elsevier, 2008. http://www.brics.dk/~fvalenci/papers/pers-test.pdf.
[ bib ]
[7] Jesus Aranda, Cinzia Di Giusto, Catuscia Palamidessi, and Frank Valencia. Expressiveness of recursion, replication and scope mechanisms in process calculi. In Frank S. de Boer and Marcello M. Bonsangue, editors, Postproceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO'06), volume 4709 of Lecture Notes in Computer Science, pages 185-206. Springer, 2007. http://www.lix.polytechnique.fr/~fvalenci/papers/fmco07.pdf.
[ bib ]
[8] J. Aranda, C. Di Giusto, M. Nielsen, and F. Valencia. CCS with replication in the Chomsky hierarchy: The expressive power of divergence. In Proc. of The Fifth ASIAN Symposium on Programming Languages (APLAS'07), number 4807 in LNCS, pages 383-398. Springer, 2007. http://www.brics.dk/~fvalenci/papers/aplas.pdf.
[ bib ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi