Characterising Concurrent Histories