This is the first authored book to be dedicated to the new field of directed algebraic topology that arose in the 1990s, in homotopy theory and in the theory of concurrent …