Coordination Models and Languages 19th IFIP WG 6.1 International Conference, COORDINATION 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Jacquet, Jean-Marie (Editor), Massink, Mieke (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10319
• Subjects: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Information Systems Applications (incl. Internet).

This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 full pap...

Table of Contents:

• Languages and tools
• Types
• Resource, components and information flow
• Verification.