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, Ju

Hatcliff, John (Editor)/ Zucca, Elena (Editor)

ISBN 10: 3642134637 / ISBN 13: 9783642134630

Published by Springer-Verlag New York Inc, 2010

About this Item

231 pages. 9.00x6.00x0.50 inches. In Stock.

Seller Inventory # x-3642134637

Bibliographic Details

• Title: 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, Ju
• Publisher: Springer-Verlag New York Inc
• Publication Date: 2010
• Language: English
• ISBN 10: 3642134637
• ISBN 13: 9783642134630
• Binding: Paperback
• Condition: Brand New
• Weight: 0.39 kilograms

About this title

Synopsis

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) tookplacein Amsterdam,during June 7-9.It washosted and organized by the Centrum voor Wiskunde & Informatica. DisCoTec conferences jointly cover the complete spectrum of distributed computing subjects ranging from theoretical foundations to formal speci?- tion techniques to practical considerations. The 12th International Conference on Coordination Models and Languages (Coordination) focused on the design and implementation of models that allow compositional construction of lar- scale concurrent and distributed systems, including both practical and foun- tionalmodels,run-timesystems,andrelatedveri?cationandanalysistechniques. The 10th IFIP International Conference on Distributed Applications and Int- operable Systems in particular elicited contributions on architectures, models, technologies and platforms for large-scale and complex distributed applications and services that are related to the latest trends in bridging the physical/virtual worlds based on ?exible and versatile service architectures and platforms. The 12th Formal Methods for Open Object-Based Distributed Systems and 30th FormalTechniques for NetworkedandDistributed Systems together emphasized distributed computing models and formal speci?cation, testing and veri?cation methods.