000 | 03415nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-319-92408-3 | ||
003 | DE-He213 | ||
005 | 20240730181519.0 | ||
007 | cr nn 008mamaa | ||
008 | 180526s2018 sz | s |||| 0|eng d | ||
020 |
_a9783319924083 _9978-3-319-92408-3 |
||
024 | 7 |
_a10.1007/978-3-319-92408-3 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aCoordination Models and Languages _h[electronic resource] : _b20th 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 / _cedited by Giovanna Di Marzo Serugendo, Michele Loreti. |
250 | _a1st ed. 2018. | ||
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2018. |
|
300 |
_aXII, 281 p. 66 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10852 |
|
505 | 0 | _aSystem Coordination -- Agent-Oriented Techniques -- Software Architecture -- Formal Analysis -- Design -- Implementation of Languages -- Models -- Multicore Software Systems. | |
520 | _aThis 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. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aOperating systems (Computers). _95329 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aComputer systems. _9125143 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aOperating Systems. _937074 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aComputer System Implementation. _938514 |
650 | 2 | 4 |
_aComputer Communication Networks. _9125144 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
700 | 1 |
_aDi Marzo Serugendo, Giovanna. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9125145 |
|
700 | 1 |
_aLoreti, Michele. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9125146 |
|
710 | 2 |
_aSpringerLink (Online service) _9125147 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319924076 |
776 | 0 | 8 |
_iPrinted edition: _z9783319924090 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v10852 _9125148 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-92408-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c90937 _d90937 |