IFIP Digital Library

IFIP WG 6.1: Architectures and Protocols for Distributed Systems

2020

Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, FORTE 2020, Valletta, Malta, June 15-19, 2020, Alexey Gotsman, Ana Sokolova, 2020: Valletta, Malta

2013

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, Dirk Beyer, Michele Boreale, 2013: Florence, Italy

Middleware 2013 - ACM/IFIP/USENIX 14th International Middleware Conference, Beijing, China, December 9-13, 2013, Proceedings, David M. Eyers, Karsten Schwan, 2013: Beijing, China

2012

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, Holger Giese, Grigore Rosu, 2012: Stockholm, Sweden

2011

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, Roberto Bruni, Jürgen Dingel, 2011: Reykjavik, Iceland

Middleware 2011 - ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011. Proceedings, Fabio Kon, Anne-Marie Kermarrec, 2011: Lisbon, Portugal

2010

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, John Hatcliff, Elena Zucca, 2010: Amsterdam, The Netherlands

Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings, Indranil Gupta, Cecilia Mascolo, 2010: Bangalore, India

2009

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, David Lee, Antónia Lopes, Arnd Poetzsch-Heffter, 2009: Lisboa, Portugal

Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009. Proceedings, Jean Bacon, Brian F. Cooper, 2009: Urbana, IL, USA

2008

Formal Methods for Open Object-Based Distributed Systems, 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008, Proceedings, Gilles Barthe, Frank S. de Boer, 2008: Oslo, Norway

Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih, 2008: Tokyo, Japan

Middleware 2008, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings, Valérie Issarny, Richard E. Schantz, 2008: Leuven, Belgium

2007

Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings, Marcello M. Bonsangue, Einar Broch Johnsen, 2007: Paphos, Cyprus

Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, John Derrick, Jüri Vain, 2007: Tallinn, Estonia

Middleware 2007, ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings, Renato Cerqueira, Roy H. Campbell, 2007: Newport Beach, CA, USA

2006

Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, Roberto Gorrieri, Heike Wehrheim, 2006: Bologna, Italy

Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, 2006: Paris, France

Middleware 2006, ACM/IFIP/USENIX 7th International Middleware Conference, Melbourne, Australia, November 27-December 1, 2006, Proceedings, Maarten van Steen, Michi Henning, 2006: Melbourne, Australia

2005

Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings, Martin Steffen, Gianluigi Zavattaro, 2005: Athens, Greece

Middleware 2005, ACM/IFIP/USENIX, 6th International Middleware Conference, Grenoble, France, November 28 - December 2, 2005, Proceedings, Gustavo Alonso, 2005: Grenoble, France

2004

Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, David de Frutos-Escrig, Manuel Núñez, 2004: Madrid, Spain

Middleware 2004, ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-20, 2004, Proceedings, Hans-Arno Jacobsen, 2004: Toronto, Canada