Specification and Validation of the Business Process Execution Language for Web Services (2004)

by R Farahbod, U Glässer, M Vajihollahi
Venue:Abstract State Machines 2004. Advances In Theory And Practice: 11th International Workshop (ASM 2004