Models and emerging trends of concurrent constraint programming

Authors:
Carlos Olarte;Camilo Rueda;Frank D. Valencia
Affiliations:
Departamento de Electrónica y Ciencias de la Computación, Pontificia Universidad Javeriana Cali, Cali, Colombia;Departamento de Electrónica y Ciencias de la Computación, Pontificia Universidad Javeriana Cali, Cali, Colombia;CNRS, LIX, École Polytechnique, Palaiseau, France 91120
Venue:
Constraints
Year:
2013

Citing 145
Cited 0

A Theory of Communicating Sequential Processes

Journal of the ACM (JACM)
Petri nets: an introduction

Petri nets: an introduction
Linear logic

Theoretical Computer Science
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)
Concurrent constraint programming

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
The semantic foundations of concurrent constraint programming

POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A fully abstract model for concurrent constraint programming

TAPSOFT '91 Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1
Janus: a step towards distributed constraint programming

Proceedings of the 1990 North American conference on Logic programming
The temporal logic of reactive and concurrent systems

The temporal logic of reactive and concurrent systems
Abstract interpretation and application to logic programs

Journal of Logic Programming
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Concurrent constraint programming

Concurrent constraint programming
A calculus of mobile processes, I

Information and Computation
Parallel logic programming systems

ACM Computing Surveys (CSUR)
Indeterminate concurrent constraint programming: a fixpoint semantics for non-terminating computations

ILPS '93 Proceedings of the 1993 international symposium on Logic programming
AKL(FD)—a concurrent language for FD programming

ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
Nondeterminism and infinite computations in constraint programming

Selected papers of the workshop on Topology and completion in semantics
A confluent calculus for concurrent constraint programming

Theoretical Computer Science - Special issue: principles and practice of constraint programming
Timed default concurrent constraint programming

Journal of Symbolic Computation - Special issue: executable temporal logics
Constraint logic programming with dynamic scheduling: a semantics based on closure operators

Information and Computation
Proving concurrent constraint programs correct

ACM Transactions on Programming Languages and Systems (TOPLAS)
Confluence in concurrent constraint programming

Theoretical Computer Science - Special issue on algebraic methodology and software technology
Computing with continuous change

Science of Computer Programming - Special issue on concurrent constraint programming
Partial order and contextual net semantics for atomic and locally atomic CC programs

Science of Computer Programming - Special issue on concurrent constraint programming
Stochastic processes as concurrent constraint programs

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A calculus for cryptographic protocols

Information and Computation
A timed concurrent constraint language

Information and Computation
Concurrent constraint programming: towards probabilistic abstract interpretation

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
Using encryption for authentication in large networks of computers

Communications of the ACM
Linear concurrent constraint programming: operational and phase semantics

Information and Computation
Transformations of CCP programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Truly concurrent constraint programming

Theoretical Computer Science
On the expressive power of temporal concurrent constraint programming languages

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Executing Formal Specifications with Concurrent Constraint Programming

Automated Software Engineering
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties,and Comparison

Constraints
Integrating Constraints and Concurrent Objects in MusicalApplications: A Calculus and its Visual Language

Constraints
On the symbolic reduction of processes with cryptographic functions

Theoretical Computer Science
A logical view of concurrent constraint programming

Nordic Journal of Computing
Temporal concurrent constraint programming: denotation, logic and applications

Nordic Journal of Computing
Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming

PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Proceedings of the First International Conference on Constraints in Computational Logics

CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Concurrent Constraint Programming Based on Functional Programming (Extended Abstract)

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Language Primitives and Type Discipline for Structured Communication-Based Programming

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems

ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Petri nets in cryptographic protocols

IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Control Flow versus Logic: A Denotational and a Declarative Model for Guarded Horn Clauses

MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
Mobility in the CC-Paradigm

MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model

MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
CC Programs with both In- and Non-determinism: A Concurrent Semantics

PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Towards a Concurrent Semantics based Analysis of CC and CLP

PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Domains for Denotational Semantics

Proceedings of the 9th Colloquium on Automata, Languages and Programming
Symbolic Trace Analysis of Cryptographic Protocols

ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Concurrent Constraints in the Fusion Calculus

ICALP '98 Proceedings of the 25th International Colloquium on Automata, Languages and Programming
An Interaction-based Language and its Typing System

PARLE '94 Proceedings of the 6th International PARLE Conference on Parallel Architectures and Languages Europe
Models for Concurrent Constraint Programming

CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Probabilistic Concurrent Constraint Programming

CONCUR '97 Proceedings of the 8th International Conference on Concurrency Theory
GHC - A Language for a New Age of Parallel Programming

Proceedings of the Eighth Conference on Foundations of Software Technology and Theoretical Computer Science
Partial Order and SOS Semantics for Linear Constraint Programs

COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Proving Correctness of Constraint Logic Programs with Dynamic Scheduling

SAS '96 Proceedings of the Third International Symposium on Static Analysis
Constraint Handling Rules

Selected Papers from Constraint Programming: Basics and Trends
Contextual Occurence Nets and Concurrent Constraint Programming

Proceedings of the International Workshop on Graph Transformations in Computer Science
Linear Concurrent Constraint Programming over Reals

CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Concurrent Constraint Programming with Process Mobility

CL '00 Proceedings of the First International Conference on Computational Logic
Synchronous Programming of Reactive Systems

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A Foundation for Higher-order Concurrent Constraint Programming

CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
A Confluent Relational Calculus for Higher-Order Programming with Constraints

CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs

Proceedings of the Second International Conference on Algebraic and Logic Programming
An Overview of the Andorra Kernel Language

ELP '99 Proceedings of the Second International Workshop on Extensions of Logic Programming
Infinite Behaviour and Fairness in Concurrent Constraint Programming

Proceedings of the REX Workshop on Sematics: Foundations and Applications
Mobile Ambients

FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
The Replacement Operation for CCP Programs

LOPSTR'99 Selected papers from the 9th International Workshop on Logic Programming Synthesis and Transformation
Concepts, Techniques, and Models of Computer Programming

Concepts, Techniques, and Models of Computer Programming
Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)

Semirings for Soft Constraint Solving and Programming (LECTURE NOTES IN COMPUTER SCIENCE)
Proving correctness of timed concurrent constraint programs

ACM Transactions on Computational Logic (TOCL)
On validity in modelization of musical problems by CCP

Soft Computing - A Fusion of Foundations, Methodologies and Applications
A multi-scale constraint programming model of alternative splicing regulation

Theoretical Computer Science - Special issue: Computational systems biology
Decidability of infinite-state timed CCP processes and first-order LTL

Theoretical Computer Science - Expressiveness in concurrency
Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming

PPDP '05 Principles and Practice of Declarative Programming 2005
Timed constraint programming: a declarative approach to usage control

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Abstract interpretation for constraint handling rules

PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A semantic framework for the abstract model checking of tccp programs

Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Automatic verification of timed concurrent constraint programs

Theory and Practice of Logic Programming
Gene Freuder and the Roots of Constraint Computation

Constraints
Soft concurrent constraint programming

ACM Transactions on Computational Logic (TOCL)
Explicit fusions

Theoretical Computer Science - Mathematical foundations of computer science 2000
User-definable rule priorities for CHR

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Timed Concurrent Constraint Programming for Analysing Biological Systems

Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Timed Concurrent Constraint Programming with External Functions

Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Analysis Framework for Synchronous Concurrent Languages based on source--to--source Transformation

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
Modeling Biological Systems in Stochastic Concurrent Constraint Programming

Constraints
Categories for fixpoint-semantics

SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
The expressivity of universal timed CCP: undecidability of Monadic FLTL and closure operators for security

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
A glimpse of symbolic-statistical modeling by PRISM

Journal of Intelligent Information Systems
Iscore: a system for writing interaction

Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts
Non-determinism and Probabilities in Timed Concurrent Constraint Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming

ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Structured Communications with Concurrent Constraints

Trustworthy Global Computing
A Tool for Generating a Symbolic Representation of tccp Executions

Electronic Notes in Theoretical Computer Science (ENTCS)
A framework for abstract interpretation of timed concurrent constraint programs

PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Proceedings of the 25th International Conference on Logic Programming

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Capturing Fair Computations on Concurrent Constraint Language

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Constraint Based Languages for Biological Reactions

ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Constraint Handling Rules

Constraint Handling Rules
Concurrency by default: using permissions to express dataflow in stateful programs

Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
The tccp Interpreter

Electronic Notes in Theoretical Computer Science (ENTCS)
CC-Pi: a constraint-based language for specifying service level agreements

ESOP'07 Proceedings of the 16th European conference on Programming
Hiding names: private authentication in the applied pi calculus

ISSS'02 Proceedings of the 2002 Mext-NSF-JSPS international conference on Software security: theories and systems
Proceedings of the 23rd international conference on Logic programming

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Observable confluence for constraint handling rules

ICLP'07 Proceedings of the 23rd international conference on Logic programming
Declarative diagnosis of temporal concurrent constraint programs

ICLP'07 Proceedings of the 23rd international conference on Logic programming
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
Timed soft concurrent constraint programs

COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Open bisimulation for the concurrent constraint pi-calculus

ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
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
Chr(prism)-based probabilistic logic learning

Theory and Practice of Logic Programming
Compositional modelling of signalling pathways in timed concurrent constraint programming

Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology
A generic system for interactive real-time animation

ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
A 25-year perspective on logic programming: achievements of the Italian association for logic programming, GULP

A 25-year perspective on logic programming: achievements of the Italian association for logic programming, GULP
Concurrent and reactive constraint programming

A 25-year perspective on logic programming
Sessions and session types: an overview

WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A Calculus of Contracting Processes

LICS '10 Proceedings of the 2010 25th Annual IEEE Symposium on Logic in Computer Science
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
Bridging the gap between two concurrent constraint languages

WFLP'10 Proceedings of the 19th international conference on Functional and constraint logic programming
CC-Pi: a constraint language for service negotiation and composition

Rigorous software engineering for service-oriented systems
A distributed and probabilistic concurrent constraint programming language

ICLP'05 Proceedings of the 21st international conference on Logic Programming
Introduction to Bisimulation and Coinduction

Introduction to Bisimulation and Coinduction
LMNtal as a unifying declarative language: live demonstration

ICLP'06 Proceedings of the 22nd international conference on Logic Programming
Using constraint programming for reconfiguration of electrical power distribution networks

MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
A symbolic model checker for tccp programs

RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Compiling constraint handling rules for efficient tabled evaluation

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
A secure coordination of agents with nonmonotonic soft Concurrent Constraint Programming

Proceedings of the 27th Annual ACM Symposium on Applied Computing
Proceedings of the 27th Annual ACM Symposium on Applied Computing

ACM Symposium on Applied Computing
Partition refinement for bisimilarity in CCP

Proceedings of the 27th Annual ACM Symposium on Applied Computing
On the security of public key protocols

IEEE Transactions on Information Theory
A Nonmonotonic Soft Concurrent Constraint Language to Model the Negotiation Process

Fundamenta Informaticae
Improved termination analysis of CHR using self-sustainability analysis

LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Constraints for service contracts

TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
A linear concurrent constraint approach for the automatic verification of access permissions

Proceedings of the 14th symposium on Principles and practice of declarative programming
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems. It models systems of agents communicating by posting and querying partial information, represented as constraints over the variables of the system. This covers a vast variety of systems as those arising in biological phenomena, reactive systems, net-centric computing and the advent of social networks and cloud computing. In this paper we survey the main applications, developments and current trends of CCP.