Interleaving Set Temporal Logic

Shmuel Katz, Doron Peled. Interleaving Set Temporal Logic. Theoretical Computer Science, 75(3):263-287, 1990.

Abstract

Abstract is missing.