A dynamic temporal logic for quality of service in choreographic models

Open Webpage

Carlos López Pombo, Agustín E. Martinez Suñé, Emilio Tuosto

Published: 2025, Last Modified: 26 Jan 2026Theor. Comput. Sci. 2025EveryoneRevisionsBibTeXCC BY-SA 4.0