Typing liveness in multiparty communicating systems

TitleTyping liveness in multiparty communicating systems
Publication TypeBook Chapter
Year of Publication2014
AuthorsPadovani, L., V. T. Vasconcelos, and H. Torres Vieira
Book TitleCoordination Models and Languages
Pagination147–162
PublisherSpringer Berlin Heidelberg