↓ Skip to main content

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 CHOReVOLUTION: Hands-On In-Service Training for Choreography-Based Systems
  3. Altmetric Badge
    Chapter 2 Choreographic Development of Message-Passing Applications
  4. Altmetric Badge
    Chapter 3 ARx: Reactive Programming for Synchronous Connectors
  5. Altmetric Badge
    Chapter 4 Towards Energy-, Time- and Security-Aware Multi-core Coordination
  6. Altmetric Badge
    Chapter 5 Team Automata@Work: On Safe Communication
  7. Altmetric Badge
    Chapter 6 Choreography Automata
  8. Altmetric Badge
    Chapter 7 A Choreography-Driven Approach to APIs: The OpenDXL Case Study
  9. Altmetric Badge
    Chapter 8 Implementing Multiparty Session Types in Rust
  10. Altmetric Badge
    Chapter 9 GoPi: Compiling Linear and Static Channels in Go
  11. Altmetric Badge
    Chapter 10 SFJ: An Implementation of Semantic Featherweight Java
  12. Altmetric Badge
    Chapter 11 Event-Based Customization of Multi-tenant SaaS Using Microservices
  13. Altmetric Badge
    Chapter 12 Quality of Service Ranking by Quantifying Partial Compliance of Requirements
  14. Altmetric Badge
    Chapter 13 Time-Fluid Field-Based Coordination
  15. Altmetric Badge
    Chapter 14 Resilient Distributed Collection Through Information Speed Thresholds
  16. Altmetric Badge
    Chapter 15 Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited
  17. Altmetric Badge
    Chapter 16 A True Concurrent Model of Smart Contracts Executions
  18. Altmetric Badge
    Chapter 17 Renegotiation and Recursion in Bitcoin Contracts
  19. Altmetric Badge
    Chapter 18 Architecture Modelling of Parametric Component-Based Systems
  20. Altmetric Badge
    Chapter 19 Weighted PCL over Product Valuation Monoids
  21. Altmetric Badge
    Chapter 20 Operational Representation of Dependencies in Context-Dependent Event Structures
  22. Altmetric Badge
    Chapter 21 Towards a Formally Verified EVM in Production Environment
  23. Altmetric Badge
    Chapter 22 On Implementing Symbolic Controllability
  24. Altmetric Badge
    Chapter 23 Combining SLiVER with CADP to Analyze Multi-agent Systems
  25. Altmetric Badge
    Chapter 24 Formal Modeling and Analysis of Medical Systems
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

9 tweeters

Readers on

1 Mendeley
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.
Coordination Models and Languages
Published by
Springer International Publishing, August 2020
DOI 10.1007/978-3-030-50029-0
978-3-03-050028-3, 978-3-03-050029-0

Bliudze, Simon, Bocchi, Laura

Twitter Demographics

The data shown below were collected from the profiles of 9 tweeters who shared this research output. Click here to find out more about how the information was compiled.

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Computer Science 1 100%