|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465628803316 |
|
|
Titolo |
Coordination Models and Languages [[electronic resource] ] : 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011, Proceedings / / edited by Wolfgang De Meuter, Gruia-Catalin Roman |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2011.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 219 p. 69 illus., 18 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 6721 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Computer programming |
Computer communication systems |
Computers |
Application software |
Software Engineering |
Programming Techniques |
Software Engineering/Programming and Operating Systems |
Computer Communication Networks |
Models and Principles |
Information Systems Applications (incl. Internet) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Sommario/riassunto |
|
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 verication and analysis techniques. |
|
|
|
|
|
| |