Web Services, Formal Methods, and Behavioral Types2016

11th International Workshop, Ws-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12th International Workshop, Ws-FM/Beat 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

by Thomas Hildebrandt