國立虎尾科技大學 |

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 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Coordination models and languages/ edited by Sung-Shik Jongmans, Antonia Lopes.
Reminder of title:	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 /
remainder title:	Coordination 2023
other author:	Jongmans, Sung-Shik.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer Nature Switzerland : : 2023.,
Description:	xiv, 293 p. :ill. (some col.), digital ; : 24 cm.;
Contained By:	Springer Nature eBook
Subject:	Computer programming - Congresses. -
Online resource:	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:

528620
Computer programming
--Congresses.

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 0 $a Computer programming $v Congresses. $3 528620
650 0 $a Electronic data processing $x Distributed processing $v Congresses. $3 669845 $3 727769
650 1 4 $a Software Engineering. $3 669632
700 1 $a Jongmans, Sung-Shik. $e editor. $3 1319756
700 1 $a Lopes, Antonia. $3 1199872
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)