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

Unbekannt

ISBN 10: 3642134637 / ISBN 13: 9783642134630

Edité par Springer-Verlag GmbH, 2010

A propos de cet article

Zustand: Sehr gut | Seiten: 231 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 7839572/12

Détails bibliographiques

Titre : Formal Techniques for Distributed Systems : ...

Éditeur : Springer-Verlag GmbH

Date d'édition : 2010

Reliure : Couverture souple

Etat : Sehr gut

A propos de ce titre

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.