Interleaving Set Temporal Logic (Preliminary Version).

Shmuel Katz, Doron A. Peled

Browse the full PODC paper archive.