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

by Catuscia Palamidessi , Frank D. Valencia
Venue:In Proc. of LICS’06. IEEE Computer Society
Citations:8 - 2 self