Rémy Haemmerlé, François Fages, Sylvain Soliman. Closures and Modules Within Linear Logic Concurrent Constraint Programming. In Vikraman Arvind, Sanjiva Prasad, editors, FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings. Volume 4855 of Lecture Notes in Computer Science, pages 544-556, Springer, 2007. [doi]
Abstract is missing.