Partial Order and SOS Semantics for Linear Constraint Programs

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.

Authors

Eike Best

This author has not been identified. Look up 'Eike Best' in Google

Frank S. de Boer

This author has not been identified. It may be one of the following persons: Look up 'Frank S. de Boer' in Google

Catuscia Palamidessi

This author has not been identified. Look up 'Catuscia Palamidessi' in Google