↓ 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 Formal Methods for Socio-technical Security
  3. Altmetric Badge
    Chapter 2 MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
  4. Altmetric Badge
    Chapter 3 A Sound Up-to- $$n,\delta $$ n , δ Bisimilarity for PCTL
  5. Altmetric Badge
    Chapter 4 Extensible 3D Simulation of Aggregated Systems with FCPP
  6. Altmetric Badge
    Chapter 5 Towards Reinforcement Learning-based Aggregate Computing
  7. Altmetric Badge
    Chapter 6 Sibilla : A Tool for Reasoning about Collective Systems
  8. Altmetric Badge
    Chapter 7 Space-Fluid Adaptive Sampling: A Field-Based, Self-organising Approach
  9. Altmetric Badge
    Chapter 8 Formal Choreographic Languages
  10. Altmetric Badge
    Chapter 9 A Model of Actors and Grey Failures
  11. Altmetric Badge
    Chapter 10 Soft Concurrent Constraint Programming with Local Variables
  12. Altmetric Badge
    Chapter 11 A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
  13. Altmetric Badge
    Chapter 12 A Monitoring Tool for Linear-Time $$\mu $$ μ HML
  14. Altmetric Badge
    Chapter 13 Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs
Attention for Chapter 8: Formal Choreographic Languages
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
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
Formal Choreographic Languages
Chapter number 8
Book title
Coordination Models and Languages
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-08143-9_8
Book ISBNs
978-3-03-108145-3, 978-3-03-108143-9
Authors

Barbanera, Franco, Lanese, Ivan, Tuosto, Emilio

View on publisher site
Mendeley readers

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 %
Student > Master 1 100%
Student > Ph. D. Student 1 100%
Readers by discipline Count As %
Computer Science 1 100%
Medicine and Dentistry 1 100%

This page is provided by Altmetric.