Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, ProceedingsJohn Field, Vasco Thudichum Vasconcelos 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). |
Other editions - View all
Common terms and phrases
algorithm applications async atomic automata automaton batch behaviour bisimulation buffer calculus canonical log CARML channel chord communication components composition computation concurrent configuration connectors constraint automata context dependency coordination model CTMC data types defined Definition devices dynamic Embedded Systems encoding evaluation event example FIFO Figure finite framework future go?k guarded automaton hardware Heidelberg Imote2 implementation input interface invocation Java labels language Lemma LNCS matching memory middleware mobility function mobility models model checking module nodes operational semantics output parametrised constants performance port process algebra process calculi process-oriented programming programming languages properties queue real-time Reflex task Reo circuit replication request result RTSJ rule runtime scheduler Section sequence server Servilla simulation spawn specification Springer static synchronisation synchronous TelosB term thread tion transformation transition transition relation tuple space variables Web servers