A fully abstract model for concurrent constraint programming

The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Proving concurrent constraint programs correct

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Can computational logic provide a paradigm for both the specification and implementation of concurrent systems?

ACM Computing Surveys (CSUR)

Strategic directions in constraint programming

ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research

Transformations of CCP programs

ACM Transactions on Programming Languages and Systems (TOPLAS)

Truly concurrent constraint programming

Theoretical Computer Science

Constraint Programming: Strategic Directions

Constraints

A logical view of concurrent constraint programming

Nordic Journal of Computing

Soft Concurrent Constraint Programming

ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems

Proving Correctness of Timed Concurrent Constraint Programs

FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures

Quantitative Observables and Averages in Probabilistic Constraint Programming

Selected papers from the Joint ERCIM/Compulog Net Workshop on New Trends in Contraints

A denotational semantics for Timed Linda

Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming

A fully abstract model for the exchange of information in multi-agent systems

Theoretical Computer Science

Termination of simply moded logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Proving correctness of timed concurrent constraint programs

ACM Transactions on Computational Logic (TOCL)

A compositional semantics for CHR

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming

Soft concurrent constraint programming

ACM Transactions on Computational Logic (TOCL)

A Timed Linda Language and its Denotational Semantics

Fundamenta Informaticae

A compositional semantics for CHR

ACM Transactions on Computational Logic (TOCL)

On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP

Science of Computer Programming

A Compositional Semantics for CHR with Propagation Rules

Constraint Handling Rules

Timed soft concurrent constraint programs

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages

Full abstraction for Linda

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems

Concurrent and reactive constraint programming

A 25-year perspective on logic programming

Translating hardware process algebras into standard process algebras: illustration with CHP and LOTOS

IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods

A Timed Linda Language and its Denotational Semantics

Fundamenta Informaticae

Models and emerging trends of concurrent constraint programming

Constraints