Synchronous Schemes and Their Decision Problems.

Zohar Manna, Amir Pnueli

Browse the full POPL paper archive.