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

ISBN 10: 3642134637 / ISBN 13: 9783642134630

Published by Springer, 2010

About this Item

pp. xii + 231 + 2 Illus.

Seller Inventory # 8314659

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, June 7-9, 2010, Proceedings
• Publisher: Springer
• Publication Date: 2010
• Language: English
• ISBN 10: 3642134637
• ISBN 13: 9783642134630
• Binding: Soft cover
• Condition: New

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.