@misc{indiciaed94b2f1032f1,
  title = {A Dynamic Temporal Logic for Quality of Service in Choreographic Models},
  author = {Carlos G. Lopez Pombo and Agustín E. Martinez Suñé and Emilio Tuosto},
  year = {2023},
  url = {https://arxiv.org/abs/2311.01414},
  note = {Source identifier: 2311.01414}
}