A Dynamic Temporal Logic for Quality of Service in Choreographic Models.

Carlos Gustavo Lpez Pombo, Agustn E. Martinez Su, Emilio Tuosto

Browse the full ICTAC paper archive.