Linearity in the pi-calculus (1996)

by Naoki Kobayashi, Benjamin Pierce, David N Turner
Venue:Pages 358–371 of: Proceedings of the 23rd ACM Symposium on Principles of Programming Languages