國立虎尾科技大學 |

Coordination Models and Languages = 22nd 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 /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Coordination Models and Languages/ edited by Simon Bliudze, Laura Bocchi.
其他題名:	22nd 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 /
其他作者:	Bocchi, Laura.
面頁冊數:	XVII, 403 p. 1749 illus., 304 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Programming Languages, Compilers, Interpreters. -
電子資源:	https://doi.org/10.1007/978-3-030-50029-0
ISBN:	9783030500290

Coordination Models and Languages = 22nd 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 /
Coordination Models and Languages22nd 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 /[electronic resource] :edited by Simon Bliudze, Laura Bocchi. - 1st ed. 2020. - XVII, 403 p. 1749 illus., 304 illus. in color.online resource. - Programming and Software Engineering ;12134. - Programming and Software Engineering ;8987.

Tutorials -- Coordination Languages -- Message-based Communication -- Communications: Types & Implementations -- Service-oriented Computing -- Large-scale Decentralized Systems -- Smart Contracts -- Modelling -- Verification & Analysis.

This 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.

ISBN: 9783030500290

Standard No.: 10.1007/978-3-030-50029-0doiSubjects--Topical Terms:

669782
Programming Languages, Compilers, Interpreters.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Coordination Models and Languages = 22nd 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 /
LDR:02695nam a22004095i 4500 001 1020195
003 DE-He213
005 20200703101738.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030500290 $9 978-3-030-50029-0
024 7 $a 10.1007/978-3-030-50029-0 $2 doi
035 $a 978-3-030-50029-0
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Coordination Models and Languages $h [electronic resource] : $b 22nd 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 / $c edited by Simon Bliudze, Laura Bocchi.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XVII, 403 p. 1749 illus., 304 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 12134
505 0 $a Tutorials -- Coordination Languages -- Message-based Communication -- Communications: Types & Implementations -- Service-oriented Computing -- Large-scale Decentralized Systems -- Smart Contracts -- Modelling -- Verification & Analysis.
520 $a This 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.
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Information Systems and Communication Service. $3 669203
650 2 4 $a Computer Systems Organization and Communication Networks. $3 669309
650 1 4 $a Software Engineering. $3 669632
650 0 $a Programming languages (Electronic computers). $3 1127615
650 0 $a Artificial intelligence. $3 559380
650 0 $a Computers. $3 565115
650 0 $a Computer organization. $3 596298
650 0 $a Software engineering. $3 562952
700 1 $a Bocchi, Laura. $e editor. $1 https://orcid.org/0000-0002-7177-9395 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1315626
700 1 $a Bliudze, Simon. $e editor. $1 https://orcid.org/0000-0002-7900-5271 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1281421
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030500283
776 0 8 $i Printed edition: $z 9783030500306
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-50029-0
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)