Time-reversal homotopical properties of concurrent systems