Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems.

Nir Piterman, Moshe Y. Vardi

Browse the full LICS paper archive.