↓ 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 2: MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary X Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.