A concurrent programming language with refined session types

TitleA concurrent programming language with refined session types
Publication TypeBook Chapter
Year of Publication2014
AuthorsFranco, J., and V. T. Vasconcelos
Book TitleSoftware Engineering and Formal Methods
Pagination15–28
PublisherSpringer International Publishing