Session typing for a featherweight Erlang

TitleSession typing for a featherweight Erlang
Publication TypeBook Chapter
Year of Publication2011
AuthorsMostrous, D., and V. T. Vasconcelos
Book TitleCoordination Models and Languages
Pagination95–109
PublisherSpringer Berlin Heidelberg