Partial Order and SOS Semantics for Linear Constraint Programs.

Eike Best, Frank S. de Boer, Catuscia Palamidessi

Browse the full Coordination paper archive.