Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... September 4-5, 2015, Revised Selected Papers

This collection delves into the intersection of web services and formal methods, presenting insightful advancements from the 11th International Workshop on WS-FM. It captures significant contributions that explore innovative approaches to choreographic programming and behavior profiles in process modeling.

Readers will find revised selected papers that offer a deeper understanding of how behavioral types can enhance the development and reliability of web services. The research showcases collaborative efforts to tackle contemporary challenges in the field, making it a valuable resource for both academics and practitioners interested in the evolving landscape of web technologies.