Linearly refined session types

TitleLinearly refined session types
Publication TypeJournal Article
Year of Publication2012
AuthorsBaltazar, P., D. Mostrous, and V. T. Vasconcelos
JournalarXiv preprint arXiv:1211.4099