Towards a concurrent semantics based analysis of CC and CLP | Publicación