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ț: 426.75 lei - 20%
Preț: 315.62 lei - 20%
Preț: 320.92 lei - 15%
Preț: 426.53 lei - 20%
Preț: 313.87 lei - 20%
Preț: 355.79 lei - 20%
Preț: 355.54 lei - 20%
Preț: 355.18 lei - 20%
Preț: 390.68 lei - 20%
Preț: 392.03 lei - 20%
Preț: 498.95 lei - 20%
Preț: 390.79 lei - 20%
Preț: 495.44 lei - 20%
Preț: 498.80 lei - 20%
Preț: 498.50 lei - 20%
Preț: 355.93 lei - 20%
Preț: 639.52 lei - 20%
Preț: 499.90 lei - 20%
Preț: 498.95 lei - 20%
Preț: 270.68 lei - 20%
Preț: 321.68 lei - 20%
Preț: 391.36 lei - 20%
Preț: 322.09 lei - 20%
Preț: 498.90 lei - 20%
Preț: 312.82 lei - 20%
Preț: 496.73 lei - 20%
Preț: 463.03 lei - 20%
Preț: 531.75 lei - 15%
Preț: 496.40 lei - 20%
Preț: 497.25 lei - 20%
Preț: 498.80 lei - 20%
Preț: 461.86 lei - 20%
Preț: 355.59 lei - 20%
Preț: 324.19 lei -
Preț: 418.19 lei - 20%
Preț: 498.59 lei - 20%
Preț: 391.28 lei - 20%
Preț: 355.69 lei - 15%
Preț: 499.72 lei - 20%
Preț: 499.40 lei - 20%
Preț: 390.42 lei - 20%
Preț: 497.75 lei - 20%
Preț: 326.81 lei - 20%
Preț: 322.32 lei - 20%
Preț: 390.42 lei - 20%
Preț: 458.84 lei - 20%
Preț: 427.09 lei - 20%
Preț: 499.90 lei - 20%
Preț: 320.72 lei
Preț: 677.58 lei
Preț vechi: 846.97 lei
-20% Nou
Puncte Express: 1016
Preț estimativ în valută:
119.90€ • 139.83$ • 105.28£
119.90€ • 139.83$ • 105.28£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
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.