Linear Time Logics Around PSL: Complexity, Expressiveness, and a Little Bit of Succinctness.

Martin Lange

Browse the full CONCUR paper archive.