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