Publications

2 results for Catuscia Palamidessi

On the expressiveness of linearity vs persistence in the asychronous pi-calculus
- - Catuscia Palamidessi
  - Vijay Saraswat
  - et al.
- 2006
- LICS 2006
A randomized encoding of the π-calculus with mixed choice
- - Catuscia Palamidessi
  - Oltea Mihaela Herescu
- 2005
- Theoretical Computer Science