Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10319)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): COORDINATION: International Conference on Coordination Models and Languages
Conference proceedings info: COORDINATION 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (14 papers)
-
Front Matter
-
Invited Talk
-
Front Matter
-
-
Languages and Tools
-
Front Matter
-
-
Resource, Components and Information Flow
-
Front Matter
-
About this book
The 13 full papers included in this volume were carefully reviewed and selected from 31 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: languages and tools; types; resource, components and information flow; verification.
Editors and Affiliations
-
University of Namur , Namur, Belgium
Jean-Marie Jacquet
-
CNR-ISTI , Pisa, Italy
Mieke Massink
Bibliographic Information
Book Title: Coordination Models and Languages
Book Subtitle: 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
Editors: Jean-Marie Jacquet, Mieke Massink
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-59746-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2017
Softcover ISBN: 978-3-319-59745-4Published: 27 May 2017
eBook ISBN: 978-3-319-59746-1Published: 06 June 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XII, 279
Number of Illustrations: 94 b/w illustrations
Topics: Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Information Systems Applications (incl. Internet)