Deciding Global Partial-Order Properties.

Rajeev Alur, Kenneth L. McMillan, Doron A. Peled

Browse the full ICALP paper archive.