國立虎尾科技大學 |

Coordination models and languages = 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Coordination models and languages/ edited by Sung-Shik Jongmans, Antonia Lopes.
其他題名:	25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
其他題名:	Coordination 2023
其他作者:	Lopes, Antonia.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	xiv, 293 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Software Engineering. -
電子資源:	https://doi.org/10.1007/978-3-031-35361-1
ISBN:	9783031353611

Coordination models and languages = 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
Coordination models and languages25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /[electronic resource] :Coordination 2023edited by Sung-Shik Jongmans, Antonia Lopes. - Cham :Springer Nature Switzerland :2023. - xiv, 293 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,139081611-3349 ;. - Lecture notes in computer science ;6140..

Collective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes.

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions. The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.

ISBN: 9783031353611

Standard No.: 10.1007/978-3-031-35361-1doiSubjects--Topical Terms:

669632
Software Engineering.

LC Class. No.: QA76.6

Dewey Class. No.: 005.27

Coordination models and languages = 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings /
LDR:02103nam a2200361 a 4500 001 1105711
003 DE-He213
005 20230614154340.0
006 m d
007 cr nn 008maaau
008 231013s2023 sz s 0 eng d
020 $a 9783031353611 $q (electronic bk.)
020 $a 9783031353604 $q (paper)
024 7 $a 10.1007/978-3-031-35361-1 $2 doi
035 $a 978-3-031-35361-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.6
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.27 $2 23
090 $a QA76.6 $b .C778 2023
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Coordination models and languages $h [electronic resource] : $b 25th IFIP WG 6.1 International Conference, Coordination 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023 : proceedings / $c edited by Sung-Shik Jongmans, Antonia Lopes.
246 3 $a Coordination 2023
246 3 $a DisCoTec 2023
260 $a Cham : $c 2023. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xiv, 293 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 1611-3349 ; $v 13908
505 0 $a Collective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes.
520 $a This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023. The 12 regular papers and 2 short paper presented in this book were carefully reviewed and selected from 27 submissions. The papers deal with the following topics: Collective Adaptive Systems and Aggregate Computing; Cyber-Physical Systems; Verification and Testing; Languages and Processes; and Run-Time Changes.
650 1 4 $a Software Engineering. $3 669632
650 0 $a Electronic data processing $x Distributed processing $v Congresses. $3 669845 $3 727769
650 0 $a Computer programming $v Congresses. $3 528620
700 1 $a Lopes, Antonia. $3 1199872
700 1 $a Jongmans, Sung-Shik. $e editor. $3 1319756
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u https://doi.org/10.1007/978-3-031-35361-1
950 $a Computer Science (SpringerNature-11645)