From BPEL to SRML: a formal transformational approach

TitleFrom BPEL to SRML: a formal transformational approach
Publication TypeBook Chapter
Year of Publication2008
AuthorsBocchi, L., Y. Hong, A. Lopes, and J. Luiz Fiadeiro
Book TitleWeb services and formal methods
Pagination92–107
PublisherSpringer Berlin Heidelberg