Text this: Directed algebraic topology and concurrency /