Partial Order and SOS Semantics for Linear Constraint Programs (1997)

by Eike Best , Frank S. De Boer , Catuscia Palamidessi , Fachbereich Informatik , C. V. O. -universit"at Oldenburg
Venue:In Proc. of Coordination’97, volume 1282 of LNCS
Citations:14 - 4 self