IFIP Publications
IFIP TC6
IFIP WG6.1

15. FMOODS / 33. FORTE 2013: Florence, Italy

• 
  Dirk Beyer, Michele Boreale (Eds.): Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7892 ISBN 978-3-642-38591-9 [ contents ]

14. FMOODS / 32. FORTE 2012: Stockholm, Sweden

• 
  Holger Giese, Grigore Rosu (Eds.): Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7273 ISBN 978-3-642-30792-8 [ contents ]

13. FMOODS / 31. FORTE 2011: Reykjavik, Iceland

• 
  Roberto Bruni, Jürgen Dingel (Eds.): Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6722 ISBN 978-3-642-21460-8 [ contents ]

12. FMOODS / 30. FORTE 2010: Amsterdam, The Netherlands

• 
  John Hatcliff, Elena Zucca (Eds.): Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6117 ISBN 978-3-642-13463-0 [ contents ]

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. Springer 2009 Lecture Notes in Computer Science 5522 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. Springer 2008 Lecture Notes in Computer Science 5051 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. Springer 2007 Lecture Notes in Computer Science 4468 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. Springer 2006 Lecture Notes in Computer Science 4037 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. Springer 2005 Lecture Notes in Computer Science 3535 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. Springer 2003 Lecture Notes in Computer Science 2884 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. Kluwer 2002 IFIP Conference Proceedings 209 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. Kluwer 2000 IFIP Conference Proceedings 177 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. Kluwer 1999 IFIP Conference Proceedings 139 ISBN 0-7923-8429-6 [ contents ]

2. FMOODS 1997: Canterbury, UK

1. FMOODS 1996: Paris, France