On the Complexity of Verifying Concurrent Transition Systems.

David Harel, Orna Kupferman, Moshe Y. Vardi

Browse the full CONCUR paper archive.