Catuscia Palamidessi, Vijay A. Saraswat, Frank D. Valencia, Björn Victor
On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus
LICS, 2006.
@inproceedings{LICS-2006-PalamidessiSVV,
author = "Catuscia Palamidessi and Vijay A. Saraswat and Frank D. Valencia and Björn Victor",
booktitle = "{Proceedings of the 21th IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2006.39",
isbn = "0-7695-2631-4",
pages = "59--68",
publisher = "{IEEE Computer Society}",
title = "{On the Expressiveness of Linearity vs Persistence in the Asychronous π-Calculus}",
year = 2006,
}
Tags: