↓ Skip to main content
What is this page? Embed badge

Coordination Models and Languages

Overview of attention for book
Coordination Models and Languages
Springer Nature Switzerland

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Relating Message Passing and Shared Memory, Proof-Theoretically
  3. Altmetric Badge
    Chapter 2 MacroSwarm : A Field-Based Compositional Framework for Swarm Programming
  4. Altmetric Badge
    Chapter 3 ScaRLib: A Framework for Cooperative Many Agent Deep Reinforcement Learning in Scala
  5. Altmetric Badge
    Chapter 4 Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
  6. Altmetric Badge
    Chapter 5 Shelley: A Framework for Model Checking Call Ordering on Hierarchical Systems
  7. Altmetric Badge
    Chapter 6 Stark : A Software Tool for the Analysis of Robustness in the unKnown Environment
  8. Altmetric Badge
    Chapter 7 RSC to the ReSCu: Automated Verification of Systems of Communicating Automata
  9. Altmetric Badge
    Chapter 8 Reasoning About Choreographic Programs
  10. Altmetric Badge
    Chapter 9 Caos: A Reusable Scala Web Animator of Operational Semantics
  11. Altmetric Badge
    Chapter 10 JoT: A Jolie Framework for Testing Microservices
  12. Altmetric Badge
    Chapter 12 Safe Asynchronous Mixed-Choice for Timed Interactions
  13. Altmetric Badge
    Chapter 13 A Formal MDE Framework for Inter-DSL Collaboration
  14. Altmetric Badge
    Chapter 14 Legal Contracts Amending with 
  15. Altmetric Badge
    Chapter 15 Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems
Attention for Chapter 4: Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Programming Distributed Collective Processes for Dynamic Ensembles and Collective Tasks
Chapter number 4
Book title
Coordination Models and Languages
Published by
Springer, Cham, January 2023
DOI 10.1007/978-3-031-35361-1_4
Book ISBNs
978-3-03-135360-4, 978-3-03-135361-1
Authors

Audrito, Giorgio, Casadei, Roberto, Damiani, Ferruccio, Torta, Gianluca, Viroli, Mirko

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.