Eike Best, Frank S. de Boer, Catuscia Palamidessi. Partial Order and SOS Semantics for Linear Constraint Programs. In David Garlan, Daniel Le Métayer, editors, Coordination Languages and Models, Second International Conference, COORDINATION 97, Berlin, Germany, September 1-3, 1997, Proceedings. Volume 1282 of Lecture Notes in Computer Science, pages 256-273, Springer, 1997.
Abstract is missing.