On the expressiveness of linearity vs persistence in the asychronous pi-calculus
- Catuscia Palamidessi
- Vijay Saraswat
- et al.
- 2006
- LICS 2006
Publications
Date
Featured collections
Popular topics
2 results for Catuscia Palamidessi
A randomized encoding of the π-calculus with mixed choice
- Catuscia Palamidessi
- Oltea Mihaela Herescu
- 2005
- Theoretical Computer Science