Formal Approaches to Business Processes and Web Services
International Workshop