|
|
|
|
LEADER |
00000cam a2200000 a 4500 |
001 |
on1158223451 |
003 |
OCoLC |
005 |
20240623213015.0 |
006 |
m o d |
007 |
cr un|---aucuu |
008 |
200613s2020 sz o 100 0 eng d |
040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d GW5XE
|d LQU
|d OCLCF
|d OCLCQ
|d COM
|d OCLCO
|d OCLCQ
|d OCLCO
|
019 |
|
|
|a 1162008833
|a 1163814844
|a 1164677254
|a 1175704969
|a 1182529479
|a 1183412043
|
020 |
|
|
|a 9783030500290
|q (electronic bk.)
|
020 |
|
|
|a 3030500292
|q (electronic bk.)
|
020 |
|
|
|z 9783030500283
|
024 |
8 |
|
|a 10.1007/978-3-030-50
|
035 |
|
|
|a (OCoLC)1158223451
|z (OCoLC)1162008833
|z (OCoLC)1163814844
|z (OCoLC)1164677254
|z (OCoLC)1175704969
|z (OCoLC)1182529479
|z (OCoLC)1183412043
|
050 |
|
4 |
|a QA76.758
|
049 |
|
|
|a HCDD
|
111 |
2 |
|
|a COORDINATION (Conference)
|n (22nd :
|d 2020 :
|c Online)
|
245 |
1 |
0 |
|a Coordination models and languages :
|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 Simon Bliudze, Laura Bocchi (eds.).
|
246 |
3 |
|
|a COORDINATION 2020
|
260 |
|
|
|a Cham :
|b Springer,
|c 2020.
|
300 |
|
|
|a 1 online resource (407 pages)
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
490 |
1 |
|
|a Lecture Notes in Computer Science ;
|v 12134
|
490 |
1 |
|
|a LNCS sublibrary: SL 2, Programming and Software Engineering
|
500 |
|
|
|a International conference proceedings.
|
500 |
|
|
|a The title page lists Valletta, Malta as the conference location. However, the foreword states "The 15th International Federated Conference on Distributed Computing Techniques (DisCoTec 2020) took place during June 15-19, 2020. It was organized by the Department of Computer Science at the University of Malta, but was held online due tothe abnormal circumstances worldwide affecting physical travel."
|
588 |
0 |
|
|a Print version record.
|
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 |
|
0 |
|a Software architecture
|v Congresses.
|
650 |
|
0 |
|a Electronic data processing
|x Distributed processing
|v Congresses.
|
650 |
|
7 |
|a Electronic data processing
|x Distributed processing
|2 fast
|
650 |
|
7 |
|a Software architecture
|2 fast
|
655 |
|
7 |
|a proceedings (reports)
|2 aat
|
655 |
|
7 |
|a Conference papers and proceedings
|2 fast
|
655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft
|
655 |
|
7 |
|a Actes de congrès.
|2 rvmgf
|
700 |
1 |
|
|a Bliudze, Simon.
|
700 |
1 |
|
|a Bocchi, Laura.
|
711 |
2 |
|
|a International Federated Conferences on Distributed Computing Techniques
|n (15th :
|d 2020 :
|c Online),
|j jointly held conference.
|
776 |
0 |
8 |
|i Print version:
|a Bliudze, Simon.
|t 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.
|d Cham : Springer International Publishing AG, ©2020
|z 9783030500283
|
830 |
|
0 |
|a Lecture notes in computer science ;
|v 12134.
|
830 |
|
0 |
|a LNCS sublibrary.
|n SL 2,
|p Programming and software engineering.
|
856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://link.springer.com/10.1007/978-3-030-50029-0
|y Click for online access
|
903 |
|
|
|a SPRING-COMP2020
|
994 |
|
|
|a 92
|b HCD
|