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