Concurrent constraint programming (CCP) is a modeling framework integrating two views of processes, as runnable specifications and as logic formulae. Model specifications in ccp use constraints both to express partial information about the

November 4, 2011 50 min

June 11, 2007 52 min