A confluent calculus for concurrent constraint programming

• Authors:

• Kim Marriott;Martin Odersky

• Affiliations:

• Monash Univ., Clayton, Victoria, Australia;Univ. Karlsruhe, Karlsruhe, Germany

• Venue:
• Theoretical Computer Science - Special issue: principles and practice of constraint programming
• Year:
• 1997