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

Coordination Models and Languages

Overview of attention for book
Cover of 'Coordination Models and Languages'

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 8: Reasoning About Choreographic Programs
Altmetric Badge

Mentioned by

twitter
1 X user
Summary X

This page is provided by Altmetric.