ScaFI: A Scala DSL and Toolkit for Aggregate Programming
Preprint in SSRN Electronic Journal (January 2022)
Coordination Models and Languages
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Representing Dependencies in Event Structures
-
Altmetric BadgeChapter 2 Reversing P/T Nets
-
Altmetric BadgeChapter 3 Towards Races in Linear Logic
-
Altmetric BadgeChapter 4 The share Operator for Field-Based Coordination
-
Altmetric BadgeChapter 5 Scan: A Simple Coordination Workbench
-
Altmetric BadgeChapter 6 CHOReVOLUTION: Automating the Realization of Highly–Collaborative Distributed Applications
-
Altmetric BadgeChapter 7 ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication
-
Altmetric BadgeChapter 8 Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies
-
Altmetric BadgeChapter 9 No More, No Less
-
Altmetric BadgeChapter 10 Verification of Concurrent Design Patterns with Data
-
Altmetric BadgeChapter 11 Self-organising Coordination Regions: A Pattern for Edge Computing
-
Altmetric BadgeChapter 12 Aggregate Processes in Field Calculus
-
Altmetric BadgeChapter 13 Automatic Quality-of-Service Evaluation in Service-Oriented Computing
-
Altmetric BadgeChapter 14 DiRPOMS: Automatic Checker of Distributed Realizability of POMSets
-
Altmetric BadgeChapter 15 Coordination of Tasks on a Real-Time OS
Attention for Chapter 8:
Bridging the Gap Between Supervisory Control and Coordination of Services: Synthesis of Orchestrations and Choreographies