Link to "Succinct Representation of Concurrent Trace Sets".
Merge pull request #10 from yallop/succinct-representation

Link to "Succinct Representation of Concurrent Trace Sets".