TY - BOOK AU - Kühn,Eva AU - Pugliese,Rosario ED - SpringerLink (Online service) TI - Coordination Models and Languages: 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Held as Part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings T2 - Lecture Notes in Computer Science, SN - 9783662433768 AV - QA76.758 U1 - 005.1 23 PY - 2014/// CY - Berlin, Heidelberg PB - Springer Berlin Heidelberg, Imprint: Springer KW - Computer Science KW - Software engineering KW - Logic design KW - Software Engineering KW - Logics and Meanings of Programs KW - Software Engineering/Programming and Operating Systems N2 - This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in June 2014. The 12 papers included in this volume were carefully reviewed and selected from 31 submissions. They deal with topics such as programming abstractions and languages, coordination models and paradigms, applied software engineering principles, specification and verification, foundations and types, distributed middleware architectures, multicore programming, collaborative adaptive systems, and coordination related use cases UR - http://dx.doi.org/10.1007/978-3-662-43376-8 ER -