Partial order and SOS semantics for linear constraint programs (1997)

by E Best, F de Boer, C Palamidessi
Venue:In Proc. of Coordination. LectureNotesinComputerScience,vol