On the expressiveness of linearity vs persistence in the asychronous pi-calculus (2006)

by C Palamidessi, V A Saraswat, F D Valencia, B Victor
Venue:In Proc. of LICS