More Books:

Object-Based Distributed Programming
Language: en
Pages: 261
Authors: Rachid Guerraoui, Oscar Nierstrasz, Michel Riveill
Categories: Computers
Type: BOOK - Published: 1994-05-27 - Publisher: Springer Science & Business Media

Interest has grown rapidly over the past dozen years in the application of object-oriented programming and methods to the development of distributed, open systems. This volume presents the proceedings of a workshop intended to assess the current state of research in this field and to facilitate interaction between groups working
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 259
Authors: Gilles Barthe, Frank S. de Boer
Categories: Computers
Type: BOOK - Published: 2008-05-29 - Publisher: Springer Science & Business Media

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
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 340
Authors: Elie Najm, Uwe Nestmann, Perdita Stevens
Categories: Computers
Type: BOOK - Published: 2003-11-24 - Publisher: Springer

This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19–21, 2003. The event was the sixth meeting of this conference series, which is held roughly every
Formal Methods for Open Object-Based Distributed Systems
Language: en
Pages: 270
Authors: Roberto Gorrieri, Heike Wehrheim
Categories: Computers
Type: BOOK - Published: 2006-06-09 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes
Formal Methods for Open Object-Based Distributed Systems IV
Language: en
Pages: 422
Authors: Scott F. Smith, Carolyn L. Talcott
Categories: Computers
Type: BOOK - Published: 2012-08-10 - Publisher: Springer

Formal Methods for Open Object-Based Distributed Systems IV presents the leading edge in the fields of object-oriented programming, open distributed systems, and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Papers in this volume focus