A linear account of session types in the pi calculus

TitleA linear account of session types in the pi calculus
Publication TypeBook Chapter
Year of Publication2010
AuthorsGiunti, M., and V. T. Vasconcelos
Book TitleCONCUR 2010-Concurrency Theory
Pagination432–446
PublisherSpringer Berlin Heidelberg