Distributed Applications and Interoperable Systems - Senivongse Twittie

This year's edition of the international federated conferences on Distributed Computing Techniques took place in Lisbon during June 9-11, 2009. It was hosted by the Faculty of Sciences of the University of Lisbon and formally or- nized by Instituto de Telecomunica¸ c˜ oes. The DisCoTecconferences jointly coverthe completespectrum ofdistributed computing subjects ranging from theoretical foundations to formal speci?cation techniques to practical considerations. The event consisted of the 11th Inter- tional Conference on Coordination Models and Languages(COORDINATION), the 9th IFIP International Conference on Distributed Applications and Inter- erable Systems (DAIS), and the IFIP International Conference on Formal Te- niquesforDistributedSystems(FMOODS/FORTE).COORDINATIONfocused on languages,models, and architectures for concurrentand distributed software. DAIS emphasized methods, techniques, and system infrastructures needed to design, build, operate, evaluate, and manage modern distributed applications in any kind of application environment and scenario. FMOODS (11th Formal MethodsforOpenObject-BasedDistributedSystems)joinedforceswithFORTE (29thFormalTechniquesfor NetworkedandDistributed Systems), creatinga - rum for fundamental researchon theory and applications of distributed systems.

EAN: 9783642021633