Camilo Rueda

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

undefined 50 min

undefined 52 min