Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication

TitleLanguage primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication
Publication TypeJournal Article
Year of Publication2007
AuthorsYoshida, N., and V. T. Vasconcelos
JournalElectronic Notes in Theoretical Computer Science
Volume171
Pagination73–93