 |
|
|
|
| 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