A Formal Semantics for the Business Process Execution Language for Web Services (2005)

by R Farahbod, U Glässer, M Vajihollahi
Venue:In Savitri Bevinakoppa et al., editors, Web Services and Model-Driven Enterprise Information Systems