Positional Properties in Temporal Logic.

Jessica Newman, Benjamin Plummer

Browse the full CONCUR paper archive.