A Dynamic Temporal Logic for Quality of Service in Choreographic Models

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Carlos G. Lopez Pombo and Agustín E. Martinez Suñé, Emilio Tuosto

Journal publisher: NA

Published year: 2023

DOI identifier: 10.48550/arxiv.2311.01414