LEADER 03585nam  22006975  450 
001 9910410059503321
005 20251225183509.0
010   $a3-030-50029-2
024 7 $a10.1007/978-3-030-50029-0
035   $a(CKB)5280000000218501
035   $a(MiAaPQ)EBC6225112
035   $a(DE-He213)978-3-030-50029-0
035   $a(PPN)248595172
035   $a(EXLCZ)995280000000218501
100   $a20200609d2020      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aCoordination Models and Languages $e22nd IFIP WG 6.1 International Conference, COORDINATION 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15?19, 2020, Proceedings /$fedited by Simon Bliudze, Laura Bocchi
205   $a1st ed. 2020.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020.
215   $a1 online resource (407 pages)
225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12134
300   $aIncludes index.
311 08$a3-030-50028-4 
327   $aTutorials -- Coordination Languages -- Message-based Communication -- Communications: Types & Implementations -- Service-oriented Computing -- Large-scale Decentralized Systems -- Smart Contracts -- Modelling -- Verification & Analysis.
330   $aThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION 2020, which was due to be held in Valletta, Malta, in June 2020, as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020. The conference was held virtually due to the COVID-19 pandemic. The 12 full papers and 6 short papers included in this volume were carefully reviewed and selected from 30 submissions. They are presented in this volume together with 2 invited tutorials and 4 tool papers. The papers are organized in the following topical sections: tutorials; coordination languages; message-based communication; communications: types & implementations; service-oriented computing; large-scale decentralized systems; smart contracts; modelling; verification & analysis.
410  0$aProgramming and Software Engineering,$x2945-9168 ;$v12134
606   $aSoftware engineering
606   $aComputer engineering
606   $aComputer networks
606   $aArtificial intelligence
606   $aCompilers (Computer programs)
606   $aSoftware Engineering
606   $aComputer Engineering and Networks
606   $aComputer Communication Networks
606   $aArtificial Intelligence
606   $aCompilers and Interpreters
615  0$aSoftware engineering.
615  0$aComputer engineering.
615  0$aComputer networks.
615  0$aArtificial intelligence.
615  0$aCompilers (Computer programs).
615 14$aSoftware Engineering.
615 24$aComputer Engineering and Networks.
615 24$aComputer Communication Networks.
615 24$aArtificial Intelligence.
615 24$aCompilers and Interpreters.
676   $a004.36
676   $a005.1
702   $aBliudze$b Simon$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aBocchi$b Laura$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910410059503321
996   $aCoordination Models and Languages$9772324
997   $aUNINA