Concurrency Makes Simple Theories Hard.

Stefan Gller, Anthony Widjaja Lin

Browse the full STACS paper archive.