People

Papers & Software

Seminar

Stages



INRIA

LIX

CNRS
Papers

Papers published in 2003

[1] Raymond McDowell, Dale Miller, and Catuscia Palamidessi. Encoding transition systems in sequent calculus. Theoretical Computer Science, 294(3):411-437, 2003. http://www.lix.polytechnique.fr/~catuscia/papers/Tran_Sys_in_SC/tcs.ps.
[ bib ]
[2] Catuscia Palamidessi. Comparing the expressive power of the synchronous and the asynchronous pi-calculus. Mathematical Structures in Computer Science, 13(5):685-719, 2003. Available at http://www.lix.polytechnique.fr/~catuscia/papers/pi_calc/mscs.pdf. A short version of this paper appeared in POPL'97.
[ bib | http ]

This file has been generated by bibtex2html 1.74


Back


Page maintainer: Catuscia Palamidessi