LEADER 02629nam 22004935 450 001 996538666403316 005 20230614154340.0 010 $a3-031-35361-7 024 7 $a10.1007/978-3-031-35361-1 035 $a(MiAaPQ)EBC30594709 035 $a(Au-PeEL)EBL30594709 035 $a(OCoLC)1382693991 035 $a(DE-He213)978-3-031-35361-1 035 $a(PPN)272259594 035 $a(EXLCZ)9927023214200041 100 $a20230614d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCoordination Models and Languages$b[electronic resource] $e25th 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 /$fedited by Sung-Shik Jongmans, Antónia Lopes 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (296 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13908 311 08$aPrint version: Jongmans, Sung-Shik Coordination Models and Languages Cham : Springer International Publishing AG,c2023 9783031353604 327 $aCollective Adaptive Systems and Aggregate Computing -- Cyber-Physical Systems -- Verification and Testing -- Languages and Processes -- Run-Time Changes. 330 $aThis 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. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v13908 606 $aSoftware engineering 606 $aSoftware Engineering 615 0$aSoftware engineering. 615 14$aSoftware Engineering. 676 $a005.27 700 $aJongmans$b Sung-Shik$01368701 701 $aLopes$b Antónia$01368702 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996538666403316 996 $aCoordination Models and Languages$93394573 997 $aUNISA