Fundamentals of session types

TitleFundamentals of session types
Publication TypeJournal Article
Year of Publication2012
AuthorsVasconcelos, V. T.
JournalInformation and Computation
Volume217
Pagination52–70