The concurrent logic programming language CP: Definition and operational semantics
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Detecting stable properties of networks in concurrent logic programming languages
PODC '88 Proceedings of the seventh annual ACM Symposium on Principles of distributed computing
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Constraint logic programming languages
Communications of the ACM
Distributed variable server for atomic unification
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
LO and behold! Concurrent structured processes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Actors as a special case of concurrent constraint (logic) programming
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Communication with directed logic variables
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The semantic foundations of concurrent constraint programming
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Replay, recovery, replication, and snapshots of nondeterministic concurrent programs
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Communication as fair distribution of knowledge
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
The importance of pointer variables in constraint models
UIST '91 Proceedings of the 4th annual ACM symposium on User interface software and technology
Logic programming as the integrator of the Fifth Generation Computer Systems project
Communications of the ACM
Extending CLOS towards logic programming: a proposal
ACM SIGPLAN OOPS Messenger
Constraint patterns as a basis for object oriented programming
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Communications of the ACM
Proving concurrent constraint programs correct
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Integrating pointer variables into one-way constraint models
ACM Transactions on Computer-Human Interaction (TOCHI)
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Database querying and constraint programming
ACM SIGACT News
An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
Representing and querying reusable object frameworks
Proceedings of the 1997 symposium on Software reusability
Proving concurrent constraint programs correct
ACM Transactions on Programming Languages and Systems (TOPLAS)
International Journal of Parallel Programming
Partial evaluation of concurrent constraint languages
ACM Computing Surveys (CSUR) - Special issue: electronic supplement to the September 1998 issue
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
From logic to stochastic processes (abstract only)
Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Transformations of CCP programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extending constraint logic programming for temporal reasoning
Annals of Mathematics and Artificial Intelligence
Backtracking in Independent And-Parallel Implementations of Logic Programming Languages
IEEE Transactions on Parallel and Distributed Systems
Soft Constraints for Security Protocol Analysis: Confidentiality
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Generic Process Algebras for Asynchronous Communication
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Combining linear programming and satisfiability solving for resource planning
The Knowledge Engineering Review
Automatic verification of timed concurrent constraint programs
Theory and Practice of Logic Programming
The LPSAT engine & its application to resource planning
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
An abstract interpretation approach to termination of logic programs
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Timed soft concurrent constraint programs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Deriving labels and bisimilarity for concurrent constraint programming
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Ontology-Based semantic interpretation as grammar rule constraints
CICLing'10 Proceedings of the 11th international conference on Computational Linguistics and Intelligent Text Processing
An optimal data structure to handle dynamic environments in non-deterministic computations
Computer Languages, Systems and Structures
Distributed Concurrent Constraint Programming
Fundamenta Informaticae
Spatial and epistemic modalities in constraint-based process calculi
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.05 |