Email Record: Algebraic theory for true concurrency /