Succinct Representation of Concurrent Trace Sets Thorsten Tarrach Joined work with: Ashutosh Gupta, Thomas A. Henzinger, Arjun Radhakrishna and Roopsha.