Observational equivalences for linear logic concurrent constraint languages | Publicación