Linear concurrent constraint programming: operational and phase semantics

Concurrent constraint programming and linear logic (abstract)

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

Proving the Equivalence of CLP Programs

ICLP '02 Proceedings of the 18th International Conference on Logic Programming

First-Order Logic as a Constraint Programming Language

LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Universal concurrent constraint programing: symbolic semantics and applications to security

Proceedings of the 2008 ACM symposium on Applied computing

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation

Electronic Notes in Theoretical Computer Science (ENTCS)

LMNtal as a hierarchical logic programming language

Theoretical Computer Science

Closures and modules within linear logic concurrent constraint programming

FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming

ICLP 2005 doctoral consortium

ICLP'05 Proceedings of the 21st international conference on Logic Programming

Modules for prolog revisited

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

Fundamenta Informaticae

A linear concurrent constraint approach for the automatic verification of access permissions

Proceedings of the 14th symposium on Principles and practice of declarative programming

Spatial and epistemic modalities in constraint-based process calculi

CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction

ACM Transactions on Computational Logic (TOCL)

A general proof system for modalities in concurrent constraint programming

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory

Models and emerging trends of concurrent constraint programming

Constraints