Algebraic Theory for True Concurrency | lit.salon