Linearity, session types and the pi calculus

TitleLinearity, session types and the pi calculus
Publication TypeJournal Article
Year of Publication2013
AuthorsGiunti, M., and V. T. Vasconcelos
JournalMathematical Structures in Computer Science
Pagination1–32