Phase Semantics and Verification of Concurrent Constraint Programs (1998)

by François Fages , Paul Ruet , Sylvain Soliman
Citations:11 - 2 self