Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9686)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: COORDINATION 2016.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 papers)
Other volumes
-
Coordination Models and Languages
Keywords
- communication abstractions
- formal verification
- model-checking
- probabilistic models
- programming
- actors
- behavioural types
- collective adaptive systems
- communication protocols
- concurrent objects
- constraint automata
- contracts
- dissemination techniques
- distributed algorithms
- game theory
- information flow policies
- interfaces
- robustness
- scheduling
- synthesis
About this book
Conference on Coordination Models and Languages, COORDINATION 2016, held
in Heraklion, Crete, Greece, in June 2016, as part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016.
The 16 full papers included in this volume were carefully reviewed and
selected from 44 submissions. The papers cover a wide range of topics
and techniques related to system coordination, including: programming and
communication abstractions; communication protocols and behavioural types;
actors and concurrent objects; tuple spaces; games, interfaces and contracts; information flow policies and dissemination techniques; and probabilistic models
and formal verification.
Editors and Affiliations
Bibliographic Information
Book Title: Coordination Models and Languages
Book Subtitle: 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Editors: Alberto Lluch Lafuente, José Proença
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-39519-7
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2016
Softcover ISBN: 978-3-319-39518-0Published: 27 June 2016
eBook ISBN: 978-3-319-39519-7Published: 23 May 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 279
Number of Illustrations: 83 b/w illustrations
Topics: Software Engineering, Logics and Meanings of Programs, Programming Techniques, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity