A type system for flexible role assignment in multiparty communicating systems

TitleA type system for flexible role assignment in multiparty communicating systems
Publication TypeBook Chapter
Year of Publication2013
AuthorsBaltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira
Book TitleTrustworthy Global Computing
Pagination82–96
PublisherSpringer Berlin Heidelberg