Fundamentals of session types

TitleFundamentals of session types
Publication TypeBook Chapter
Year of Publication2009
AuthorsVasconcelos, V. T.
Book TitleFormal Methods for Web Services
Pagination158–186
PublisherSpringer Berlin Heidelberg