People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers published in 2002

[1] M. Nielsen, C. Palamidessi, and F. Valencia. Temporal concurrent constraint programming: Denotation, logic and applications. Nordic Journal of Computing, 9:145-188, 2002. http://www.lix.polytechnique.fr/ catuscia/papers/Ntcc/njc02.ps.
[ bib ]
[2] Mogens Nielsen, Catuscia Palamidessi, and Frank D. Valencia. On the expressive power of temporal concurrent constraint programming languages. In Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 156-167, New York, October6-8 2002. ACM Press. http://www.lix.polytechnique.fr/~catuscia/papers/ppdp02.ps.
[ bib ]
[3] Catuscia Palamidessi. Mobile calculi for distributed programming. In Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP-02), pages 74-75, New York, 2002. ACM Press. Invited talk.
[ bib ]
[4] Catuscia Palamidessi and Oltea M. Herescu. A randomized encoding of the π-calculus with mixed choice. In Procemdingw Of the 2nd IFIP International Conference on Theoretical Computer Science, pages 537-549, 2002. http://www.lix.polytechnique.fr/~catuscia/papers/prob_enc/ifiptcs02.ps.
[ bib ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi