The semantic foundations of concurrent constraint programming 论文
1991引用 384
Logic, programming, and type systemsConstraint Satisfaction and OptimizationLogic, Reasoning, and Knowledge
摘要
Concurrent constraint programming [Sar89 ,SR90] is a simple and powerful model of concurrent computation based on the notions of store-as-constraint and process as information