Coordination Models and Languages: 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ț: 558.53 lei - 20%
Preț: 571.88 lei - 20%
Preț: 675.83 lei - 20%
Preț: 1020.28 lei - 20%
Preț: 620.33 lei - 20%
Preț: 560.93 lei - 20%
Preț: 633.70 lei - 20%
Preț: 678.21 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 560.93 lei - 20%
Preț: 733.68 lei - 20%
Preț: 793.92 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 748.63 lei - 20%
Preț: 562.49 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 449.81 lei - 20%
Preț: 556.96 lei - 20%
Preț: 562.49 lei - 20%
Preț: 851.78 lei - 20%
Preț: 313.10 lei - 18%
Preț: 945.44 lei - 20%
Preț: 314.86 lei - 20%
Preț: 560.93 lei - 20%
Preț: 313.87 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 735.28 lei - 20%
Preț: 1079.23 lei - 20%
Preț: 560.11 lei - 20%
Preț: 791.54 lei - 15%
Preț: 672.87 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 617.17 lei - 20%
Preț: 1022.15 lei - 20%
Preț: 984.64 lei - 20%
Preț: 620.33 lei - 20%
Preț: 979.25 lei - 20%
Preț: 402.28 lei - 20%
Preț: 316.28 lei - 20%
Preț: 636.06 lei - 20%
Preț: 320.24 lei - 20%
Preț: 328.94 lei
Preț: 681.21 lei
Preț vechi: 851.50 lei
-20%
Puncte Express: 1022
Preț estimativ în valută:
120.45€ • 139.20$ • 104.06£
120.45€ • 139.20$ • 104.06£
Carte tipărită la comandă
Livrare economică 04-18 mai
Specificații
ISBN-13: 9783031626968
ISBN-10: 3031626966
Pagini: 348
Ilustrații: XIV, 332 p. 141 illus., 98 illus. in color.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.53 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031626966
Pagini: 348
Ilustrații: XIV, 332 p. 141 illus., 98 illus. in color.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.53 kg
Ediția:2024
Editura: Springer
Colecția Lecture Notes in Computer Science
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.