People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers published in 2000

[1] David Gilbert and Catuscia Palamidessi. Concurrent constraint programming with process mobility. In John Lloyd et al., editor, Proceedings of the Conference on Computational Logic - CL 2000, Lecture Notes in Artificial Intelligence, pages 463-477. Springer, 2000. http://www.lix.polytechnique.fr/~catuscia/papers/CC_Migration/cl.ps.
[ bib ]
[2] Oltea Mihaela Herescu and Catuscia Palamidessi. Probabilistic asynchronous π-calculus. In Jerzy Tiuryn, editor, Proceedings of FOSSACS 2000 (Part of ETAPS 2000), volume 1784 of Lecture Notes in Computer Science, pages 146-160. Springer, 2000. http://www.lix.polytechnique.fr/~catuscia/papers/Prob_asy_pi/fossacs.ps.
[ bib ]
[3] Catuscia Palamidessi, Joachim Parrow, and Rob J. van Glabbeek. Preface. Information and Computation, 156(1-2):1, 2000.
[ bib ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi