Preprint
A Dynamic Temporal Logic for Quality of Service in Choreographic Models
Abstract
We propose a framework for expressing and analyzing the Quality of Service
(QoS) of message-passing systems using a choreographic model that consists of
Authors
Pombo CGL; Suñé AEM; Tuosto E
Publication date
November 2, 2023
DOI
10.48550/arxiv.2311.01414
Preprint server
arXiv