From eventual to atomic and locally atomic CC programs: A concurrent semantics | Publicación