Algebraic Theory for True Concurrency