Formal Methods for Open Object-Based Distributed Systems - 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings (Paperback, 2007 ed.)

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007.

The 17 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topcical sections on model checking rewriting logic components and services algebraic calculi specification, verification and refinenment, and quality of service.