Rémy Haemmerlé
Observational equivalences for linear logic concurrent constraint languages
ICLP, 2011.
@article{ICLP-J-2011-Haemmerle, author = "Rémy Haemmerlé", doi = "10.1017/S1471068411000123", journal = "{Theory and Practice of Logic Programming}", number = "4-5", pages = "469--485", title = "{Observational equivalences for linear logic concurrent constraint languages}", volume = 11, year = 2011, }