Formal Methods for Open Object-Based Distributed Systems

11. FMOODS / 29. FORTE 2009: Lisboa, Portugal

David Lee, Antónia Lopes, Arnd Poetzsch-Heffter (Eds.): Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lecture Notes in Computer Science 5522 Springer 2009, ISBN 978-3-642-02137-4
Contents

10. FMOODS 2008: Oslo, Norway

Gilles Barthe, Frank S. de Boer (Eds.): Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings. Lecture Notes in Computer Science 5051 Springer 2008, ISBN 978-3-540-68862-4
Contents

9. FMOODS 2007: Paphos, Cyprus

Marcello M. Bonsangue, Einar Broch Johnsen (Eds.): Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings. Lecture Notes in Computer Science 4468 Springer 2007, ISBN 978-3-540-72919-8
Contents

8. FMOODS 2006: Bologna, Italy

Roberto Gorrieri, Heike Wehrheim (Eds.): Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science 4037 Springer 2006, ISBN 3-540-34893-X
Contents

7. FMOODS 2005: Athens, Greece

Martin Steffen, Gianluigi Zavattaro (Eds.): Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Lecture Notes in Computer Science 3535 Springer 2005, ISBN 3-540-26181-8
Contents

- FMOODS 2005 Home Page (colocated with DAIS 2005)

6. FMOODS 2003: Paris, France

Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.): Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings. Lecture Notes in Computer Science 2884 Springer 2003, ISBN 3-540-20491-1
Contents

- FMOODS 2003 Home Page (colocated with DAIS 2003)

5. FMOODS 2002: Enschede, The Netherlands

Bart Jacobs, Arend Rensink (Eds.): Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. IFIP Conference Proceedings 209 Kluwer 2002, ISBN 0-7923-7683-8
Contents

- FMOODS 2002 Home Page

4. FMOODS 2000: Stanford, California, USA

Scott F. Smith, Carolyn L. Talcott (Eds.): Formal Methods for Open Object-Based Distributed Systems IV, IFIF TC6/WG6.1 Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), September 6-8, 2000, Stanford, California, USA. IFIP Conference Proceedings 177 Kluwer 2000, ISBN 0-7923-7923-3
Contents

- FMOODS 2000 Home Page

3. FMOODS 1999: Florence, Italy

Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri (Eds.): Formal Methods for Open Object-Based Distributed Systems, IFIF TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy. IFIP Conference Proceedings 139 Kluwer 1999, ISBN 0-7923-8429-6
Contents