Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
This year’s edition of the international federated conferences on Distributed Computing Techniques(DisCoTec)tookplaceinLisbonduring June9-11,2009. ItwashostedbytheFacultyofSciencesoftheUniversityofLisbon,andformally the organized by the Instituto de Telecomunicac˜ ¸oes. The DisCoTecconferences jointly coverthe completespectrum ofdistributed computing topics, ranging from theoretical foundations to formal speci?cation techniques to practical considerations. This year’s event consisted of the 11th International Conference on Coordination Models and Languages (COORDI- NATION), the 9th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS), and the IFIP International Conference on FormalTechniques for Distributed Systems (FMOODS/FORTE).COORDINA- TION focused on languages, models, and architectures for concurrent and d- tributedsoftware.DAIScoveredmethods,techniques,andsysteminfrastructures for designing, building operating, evaluating, and managing modern distributed applications in any application environment. FMOODS (the 11th Formal Me- odsforOpenObject-BasedDistributedSystems)joinedforceswithFORTE(the 29th Formal Techniques for Networked and Distributed Systems), creating a - rum for fundamental researchon theory and applications of distributed systems. Each of the three days of the federated event began with a plenary speaker nominated by one of the conferences. In addition, there was a joint technical session consisting of one paper from each of the conferences. The common p- gramalsoincludedatutorialseriesonGlobalComputing,ajointinitiativeofthe EU projects Mobius (Mobility, Ubiquity and Security) and Sensoria (Software Engineering for Service-Oriented Overlay Computers).
