Directed algebraic topology and concurrency (2016)