Formal Methods For Open Object-based Distributed Systems 10th Ifip Wg 6.1 Intern

This Volume Contains The Proceedings Of The 10th Ifip Working Group 6.1 - Ternational Conference On Formal Methods For Open Object-based Distributed Systems (fmoods 2008).the Conference Was Part Of The Third Federated C- Ferences On Distributed Computing Techniques (discotec), Together With The 10th International Conference On Coordination Models And Languages (coor- Dination 2008) And The 8th Ifip International Conference On Distributed Applications And Interoperable Systems (dais 2008). We Are Grateful To Frank Eliassen And Einar Broch Johnsen Of The University Of Oslo For The Excellent Organization Of This Event In Olso, Norway, June 4-6, 2008. The Goal Of The Fmoods Conferences Is To Bring Together Researchers And Practitioners Whose Work Encompasses Three Important And Related?elds: - Formal Methods - Distributed Systems - Object-based Technology The 14 Papers Presented At Fmoods 2008 And Included In This Volume Were Selected By The Program Committee Among 35 Submissions.