↓ 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 10: Soft Concurrent Constraint Programming with Local Variables
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
Soft Concurrent Constraint Programming with Local Variables
Chapter number 10
Book title
Coordination Models and Languages
Published by
Springer, Cham, January 2022
DOI 10.1007/978-3-031-08143-9_10
Book ISBNs
978-3-03-108145-3, 978-3-03-108143-9
Authors

Bussi, Laura, Gadducci, Fabio, Santini, Francesco

View on publisher site

This page is provided by Altmetric.