Phase semantics and verification of concurrent constraint programs (1998)

by François Fages, Paul Ruet, Sylvain Soliman
Venue:In Proceedings of the 13th IEEE Colloquium on Logic in Computer Science — LICS’98