A Decidable Fixpoint Logic for Time-Outs.

Maria Sorea

Browse the full CONCUR paper archive.