Martin Rinard

Concurrent Constraint Programming