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