Linearity, session types and the Pi calculus

TitleLinearity, session types and the Pi calculus
Publication TypeJournal Article
Year of Publication2016
AuthorsGiunti, M., and V. Thudichum Vasconcelos
JournalMathematical Structures in Computer Science
Volume26
Pagination206–237