Coordination Models and Languages: 26th 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: Lecture Notes in Computer Science, cartea 14676
Editat de Ilaria Castellani, Francesco Tiezzien Limba Engleză Paperback – 11 iun 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.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 400.77 lei - 20%
Preț: 754.11 lei - 20%
Preț: 324.19 lei - 20%
Preț: 373.80 lei - 20%
Preț: 342.61 lei - 20%
Preț: 403.00 lei - 20%
Preț: 573.45 lei -
Preț: 395.25 lei - 20%
Preț: 487.46 lei - 20%
Preț: 355.27 lei - 20%
Preț: 731.97 lei - 20%
Preț: 293.24 lei - 20%
Preț: 669.21 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 336.86 lei - 20%
Preț: 330.54 lei - 20%
Preț: 313.87 lei - 20%
Preț: 679.09 lei - 20%
Preț: 373.16 lei - 20%
Preț: 782.57 lei - 20%
Preț: 434.17 lei - 20%
Preț: 489.11 lei - 20%
Preț: 904.16 lei - 20%
Preț: 375.72 lei - 20%
Preț: 400.17 lei - 20%
Preț: 432.78 lei - 20%
Preț: 631.96 lei - 20%
Preț: 432.11 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 556.96 lei - 20%
Preț: 488.90 lei - 20%
Preț: 560.93 lei - 20%
Preț: 327.36 lei - 20%
Preț: 340.04 lei - 20%
Preț: 327.36 lei - 20%
Preț: 328.94 lei - 20%
Preț: 629.71 lei - 20%
Preț: 568.70 lei - 20%
Preț: 447.31 lei - 20%
Preț: 733.68 lei - 20%
Preț: 315.26 lei - 20%
Preț: 315.62 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 850.42 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 519.32 lei
Preț: 677.58 lei
Preț vechi: 846.97 lei
-20%
Puncte Express: 1016
Preț estimativ în valută:
119.94€ • 139.32$ • 103.91£
119.94€ • 139.32$ • 103.91£
Carte tipărită la comandă
Livrare economică 02-16 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031626968
ISBN-10: 3031626966
Pagini: 332
Ilustrații: XIV, 332 p. 141 illus., 98 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.49 kg
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031626966
Pagini: 332
Ilustrații: XIV, 332 p. 141 illus., 98 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.49 kg
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
.- 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.
.- 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.