This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:

This book presents papers from the lectures of leading researchers given at the Ninth International School on Formal Methods for the Design of Computer, Communi

This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Web Services and Formal Methods, WS-FM 2009, held i

Here are the refereed proceedings of the Third International Workshop on Web Services and Formal Methods, WS-FM 2006, held in conjunction with the Fourth Intern

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Web Services and Formal Methods, WS-FM 2011, held in Clermon