FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS: 10TH IFIP WG 6.1 INTERNATIONAL CONFERENCE, FMOODS 2008, OSLO, NORWAY, JUNE 4-6, 2008 PROCEEDINGS