↓ 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 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 11: A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
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
A Synthesis Tool for Optimal Monitors in a Branching-Time Setting
Chapter number 11
Book title
Coordination Models and Languages
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-08143-9_11
Book ISBNs
978-3-03-108145-3, 978-3-03-108143-9
Authors

Achilleos, Antonis, Exibard, Léo, Francalanza, Adrian, Lehtinen, Karoliina, Xuereb, Jasmine

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.