On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus

Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor. On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus. In 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings. pages 59-68, IEEE Computer Society, 2006. [doi]

@inproceedings{PalamidessiSVV06,
  title = {On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus},
  author = {Catuscia Palamidessi and Vijay A. Saraswat and Frank D. Valencia and Björn Victor},
  year = {2006},
  doi = {10.1109/LICS.2006.39},
  url = {http://doi.ieeecomputersociety.org/10.1109/LICS.2006.39},
  researchr = {https://researchr.org/publication/PalamidessiSVV06},
  cites = {0},
  citedby = {0},
  pages = {59-68},
  booktitle = {21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings},
  publisher = {IEEE Computer Society},
}