Coordination models and languages 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, proceedings /
Annotation This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selec...
| Corporate Authors: | COORDINATION (Conference) Reykjavík, Iceland) |
|---|---|
| Other Authors: | COORDINATION (Conference), De Meuter, Wolfgang., Roman, Gruia-Catalin, 1951-, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Heidelberg ; New York :
Springer,
©2011.
Heidelberg ; New York : [2011] |
| Physical Description: |
1 online resource (xii, 218 pages). |
| Series: |
Lecture notes in computer science ;
6721. LNCS sublibrary. Programming and software engineering. |
| Subjects: |
| Summary: |
Annotation This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verification and analysis techniques. |
|---|---|
| Item Description: |
Includes bibliographical references and author index. Annotation This book constitutes the refereed proceedings of the 13th International Conference on Coordination Models and Languages, COORDINATION 2011, held in Reykjavik, Iceland, in June 2011, as one of the DisCoTec 2011 events. The 14 revised full papers presented were carefully reviewed and selected from 35 submissions. The conference focuses on the design and implementation of models that allow compositional construction of large-scale concurrent and distributed systems, including both practical and foundational models, run-time systems, and related verification and analysis techniques. |
| Physical Description: |
1 online resource (xii, 218 pages). |
| Bibliography: |
Includes bibliographical references and author index. |
| ISBN: |
9783642214646 3642214649 3642214630 9783642214639 |
| ISSN: |
0302-9743 ; |