Model-Checking Temporal Behaviour in CSP.

Jol Ouaknine, George M. Reed

Browse the full PDPTA paper archive.