Coordination models and languages

Más información sobre el libro

Modern information systems increasingly combine concurrent, distributed, real-time, reconfigurable, and heterogeneous components, necessitating new models, architectures, languages, and verification techniques to manage complexity in software development. This volume explores languages, middleware, services, and algorithms that separate behavior from interaction, enhancing modularity and simplifying reasoning in software development. It contains the proceedings of the 10th International Conference on Coordination Models and Languages, held in Oslo, Norway, in June 2008, as part of the federated DisCoTec conference. The conference is part of a series with previous proceedings published in LNCS volumes. From 61 submissions worldwide, the Program Committee selected 21 papers based on originality, quality, and relevance. Each submission underwent at least three reviews, with the entire process managed electronically via EasyChair. The conference also featured an invited presentation by Matt Welsh from Harvard University. We appreciate the effort of the Program Committee members and external reviewers who evaluated submissions, as well as the authors and attendees for their contributions to this vibrant research community, ensuring the success of the conference series.