Linearity, session types and the pi calculus

TitleLinearity, session types and the pi calculus
Publication TypeConference Paper
Year of Publication2011
AuthorsGiunti, M., and V. T. Vasconcelos
Conference NameUNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE