People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers published in 2004

[1] Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. On the expressiveness of infinite behavior and name scoping in process calculi. In Igor Walukiewicz, editor, Proceedings of the 7th International Conference on the Foundations of Software Science and Computation Structures (FOSSACS 2004), volume 2987 of Lecture Notes in Computer Science, pages 226-240. Springer, 2004.
[ bib | .pdf ]
[2] Oltea M. Herescu and Catuscia Palamidessi. Probabilistic asynchronous π-calculus. Technical report, INRIA Futurs and LIX, 2004. http://www.lix.polytechnique.fr/~catuscia/papers/Prob_asy_pi/report.ps.
[ bib ]
[3] C. Rueda and F. Valencia. Non-viability deductions in arc-consistency computation. In Bart Demoen and Vladimir Lifschitz, editors, Proc. of the Nineteenth International Conference on Logic Programming (ICLP 2004), volume 3132 of Lecture Notes in Computer Science, pages 343-355. Springer, 2004.
[ bib ]
[4] Camilo Rueda and Frank D. Valencia. On validity in modelization of musical problems by CCP. Soft Computing, 8(9):641-648, 2004.
[ bib ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi