Partial order and contextual net semantics for atomic and locally atomic CC programs | Publicación