Models and emerging trends of concurrent constraint programming
From MaRDI portal
Publication:2348541
DOI10.1007/s10601-013-9145-3zbMath1317.90283OpenAlexW1974828145MaRDI QIDQ2348541
Carlos Olarte, Camilo Rueda, Frank D. Valencia
Publication date: 15 June 2015
Published in: Constraints (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10601-013-9145-3
Related Items (12)
On concurrent behaviors and focusing in linear logic ⋮ Dynamic spaces in concurrent constraint programming ⋮ A Declarative View of Signaling Pathways ⋮ A Proof Theoretic Study of Soft Concurrent Constraint Programming ⋮ On subexponentials, focusing and modalities in concurrent systems ⋮ Slicing concurrent constraint programs ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ Subexponential concurrent constraint programming ⋮ A constraint-based language for multiparty interactions ⋮ A concurrent constraint programming interpretation of access permissions ⋮ A symbolic model for timed concurrent constraint programming ⋮ Proving concurrent constraint programming correct, revisited
Uses Software
Cites Work
- Open Bisimulation for the Concurrent Constraint Pi-Calculus
- Closures and Modules Within Linear Logic Concurrent Constraint Programming
- Logic Programming
- Automatic verification of timed concurrent constraint programs
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- Recent Advances in Constraints
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- QoS negotiation in service composition
- Nondeterminism and infinite computations in constraint programming
- Timed default concurrent constraint programming
- Modeling biological systems in stochastic concurrent constraint programming
- A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
- Algebra of communicating processes with abstraction
- A logic for default reasoning
- The Esterel synchronous programming language: Design, semantics, implementation
- A calculus of mobile processes. I
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- A calculus for cryptographic protocols: The spi calculus
- Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings
- Principles and practice of constraint programming. 2nd international workshop, PPCP '94, Rosario, Orcas Island, Washington, DC, USA, May 2-4, 1994. Proceedings
- Constraint logic programming with dynamic scheduling: A semantics based on closure operators
- Computing with continuous change
- Partial order and contextual net semantics for atomic and locally atomic CC programs
- Confluence in concurrent constraint programming
- A confluent calculus for concurrent constraint programming
- Mobile ambients
- Truly concurrent constraint programming
- Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6--10, 2004. Proceedings.
- Decidability of infinite-state timed CCP processes and first-order LTL
- On validity in modelization of musical problems by CCP
- Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
- Networks of constraints: Fundamental properties and applications to picture processing
- On the symbolic reduction of processes with cryptographic functions.
- A timed concurrent constraint language.
- Linear concurrent constraint programming: Operational and phase semantics
- Executing formal specifications with concurrent constraint programming
- Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
- Semirings for constraint solving and programming.
- A multi-scale constraint programming model of alternative splicing regulation
- Contextual nets
- Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings
- Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14--17, 2009. Proceedings
- Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8--13, 2007. Proceedings
- Explicit fusions
- A semantic framework for the abstract model checking of tccp programs
- Timed Concurrent Constraint Programming for Analysing Biological Systems
- A Framework for Timed Concurrent Constraint Programming with External Functions
- Spatial and Epistemic Modalities in Constraint-Based Process Calculi
- Deriving Labels and Bisimilarity for Concurrent Constraint Programming
- Psi-calculi: a framework for mobile processes with nominal data and logic
- Bridging the Gap between Two Concurrent Constraint Languages
- Observational equivalences for linear logic concurrent constraint languages
- Abstract diagnosis for timed concurrent constraint programs
- Introduction to Bisimulation and Coinduction
- As time goes by: Constraint Handling Rules
- A Linear-Logic Semantics for Constraint Handling Rules
- Concurrent and Reactive Constraint Programming
- CHR(PRISM)-based probabilistic logic learning
- Observable Confluence for Constraint Handling Rules
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- Constraint Handling Rules
- A Theory of Communicating Sequential Processes
- On the security of public key protocols
- Abstract interpretation and application to logic programs
- Using encryption for authentication in large networks of computers
- Theory and practice of constraint handling rules
- Design, implementation, and evaluation of the constraint language cc(FD)
- Transformation of logic programs: Foundations and techniques
- Timed soft concurrent constraint programs: An interleaved and a parallel approach
- Improved Termination Analysis of CHR Using Self-sustainability Analysis
- Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
- Proving correctness of Constraint Logic Programs with dynamic scheduling
- Contextual occurrence nets and concurrent constraint programming
- A foundation for higher-order concurrent constraint programming
- A confluent relational calculus for higher-order programming with constraints
- Mobility in the CC-paradigm
- The tccp Interpreter
- Proving correctness of timed concurrent constraint programs
- Soft concurrent constraint programming
- Logic Programming
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
- LMNtal as a Unifying Declarative Language: Live Demonstration
This page was built for publication: Models and emerging trends of concurrent constraint programming