000 04435nam a22006015i 4500
001 978-3-031-62697-5
003 DE-He213
005 20240730172413.0
007 cr nn 008mamaa
008 240611s2024 sz | s |||| 0|eng d
020 _a9783031626975
_9978-3-031-62697-5
024 7 _a10.1007/978-3-031-62697-5
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aCoordination Models and Languages
_h[electronic resource] :
_b26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings /
_cedited by Ilaria Castellani, Francesco Tiezzi.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aXIV, 332 p. 141 illus., 98 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14676
505 0 _a -- Regular papers. -- Choreographic Automata A Case Study in Healthcare Management. -- A Probabilistic Choreography Language for PRISM. -- Encoding Petri Nets into CCS. -- Field-based Coordination for Federated Learning. -- COTS: Connected OpenAPI Test Synthesis for RESTful Applications. -- Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. -- Simulation-based Decision Support for Cross Organisational Workflows: A Case Study of Emergency Handling. -- An Enhanced Exchange Operator for XC. -- Short papers. .-The Concurrent Calculi Formalisation Benchmark. -- Survey papers. -- Team Automata Overview and Roadmap. -- Tool papers. -- An OpenWhisk Extension for Topology aware Allocation Priority Policies. -- Coconut Typestates for Embedded Systems. -- TRAC a tool for data aware coordination (with an application to smart contracts). -- ScaFi-Blocks A Visual Aggregate Programming Environment for Low Code Swarm Design. -- Visualisation of Collective Systems with Sequit and Sibilla. -- Implementing a Message Passing Interpretation of the Semi Axiomatic Sequent Calculus (SAX). -- SEArch: an execution infrastructure for service-based software systems.
520 _aThis book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2024, held in Groningen, The Netherlands, in June 2024, as part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024. The 8 full papers, 7 tool papers, 1 short paper and 1 survey paper included in this book were carefully reviewed and selected from 28 submissions. This conference provides a well-established forum for the growing community of researchers interested in models, languages, architectures, and implementation techniques for coordination.
650 0 _aSoftware engineering.
_94138
650 0 _aOperating systems (Computers).
_95329
650 0 _aComputers, Special purpose.
_946653
650 0 _aArtificial intelligence.
_93407
650 0 _aApplication software.
_9103560
650 1 4 _aSoftware Engineering.
_94138
650 2 4 _aOperating Systems.
_937074
650 2 4 _aSpecial Purpose and Application-Based Systems.
_946654
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer and Information Systems Applications.
_9103563
700 1 _aCastellani, Ilaria.
_eeditor.
_0(orcid)
_10000-0001-9820-0892
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9103564
700 1 _aTiezzi, Francesco.
_eeditor.
_0(orcid)
_10000-0003-4740-7521
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9103567
710 2 _aSpringerLink (Online service)
_9103569
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031626968
776 0 8 _iPrinted edition:
_z9783031626982
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v14676
_923263
856 4 0 _uhttps://doi.org/10.1007/978-3-031-62697-5
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cEBK
999 _c88285
_d88285