A Proof Theoretic Study of Soft Concurrent Constraint Programming

Abstract

Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints. Since their inception, CCP-languages have been designed for having a strong connection to logic. In fact, the underlying constraint system can be built from a suitable fragment of intuitionistic (linear) logic –ILL… (More)
DOI: 10.1017/S147106841400026X

1 Figure or Table

Topics

  • Presentations referencing similar topics