Linear type theory for asynchronous session types

TitleLinear type theory for asynchronous session types
Publication TypeJournal Article
Year of Publication2010
AuthorsGay, S. J., and V. T. Vasconcelos
JournalJournal of Functional Programming
Volume20
Pagination19–50