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