Phase Semantics and Verification of Concurrent Constraint Programs.

Franois Fages, Paul Ruet, Sylvain Soliman

Browse the full LICS paper archive.