| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910349436203321 |
|
|
Titolo |
Coordination Models and Languages : 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings / / edited by Giovanna Di Marzo Serugendo, Michele Loreti |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2018.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 281 p. 66 illus.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 10852 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Software engineering |
Operating systems (Computers) |
Programming languages (Electronic computers) |
Architecture, Computer |
Computer communication systems |
Special purpose computers |
Software Engineering |
Operating Systems |
Programming Languages, Compilers, Interpreters |
Computer System Implementation |
Computer Communication Networks |
Special Purpose and Application-Based Systems |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
System Coordination -- Agent-Oriented Techniques -- Software Architecture -- Formal Analysis -- Design -- Implementation of Languages -- Models -- Multicore Software Systems. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing |
|
|
|
|
|
|
|
|
|
|
Techniques, DisCoTec 2018. The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces. |
|
|
|
|
|
| |