TY  - RPRT
TI  - A Dynamic Temporal Logic for Quality of Service in Choreographic Models
AU  - Carlos G. Lopez Pombo
AU  - Agustín E. Martinez Suñé
AU  - Emilio Tuosto
PY  - 2023
UR  - https://arxiv.org/abs/2311.01414
ID  - 2311.01414
ER  -