Models and emerging trends of concurrent constraint programming
From MaRDI portal
Publication:2348541
Recommendations
Cites work
- A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
- A calculus for cryptographic protocols: The spi calculus
- A calculus of mobile processes. I
- A confluent calculus for concurrent constraint programming
- A confluent relational calculus for higher-order programming with constraints
- A foundation for higher-order concurrent constraint programming
- A framework for timed concurrent constraint programming with external functions
- A Linear-Logic Semantics for Constraint Handling Rules
- A logic for default reasoning
- A multi-scale constraint programming model of alternative splicing regulation
- A semantic framework for the abstract model checking of tccp programs
- A Theory of Communicating Sequential Processes
- A timed concurrent constraint language.
- Abstract diagnosis for timed concurrent constraint programs
- Abstract interpretation and application to logic programs
- Algebra of communicating processes with abstraction
- An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation
- As time goes by: constraint handling rules
- Automatic verification of timed concurrent constraint programs
- Bridging the gap between two concurrent constraint languages
- CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
- CHR(PRISM)-based probabilistic logic learning
- Closures and Modules Within Linear Logic Concurrent Constraint Programming
- Computing with continuous change
- Concurrent and reactive constraint programming
- Confluence in concurrent constraint programming
- Constraint Handling Rules
- Constraint logic programming with dynamic scheduling: A semantics based on closure operators
- Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings
- Contextual nets
- Contextual occurrence nets and concurrent constraint programming
- Decidability of infinite-state timed CCP processes and first-order LTL
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- Deriving labels and bisimilarity for concurrent constraint programming
- Design, implementation, and evaluation of the constraint language cc(FD)
- Executing formal specifications with concurrent constraint programming
- Explicit fusions
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- scientific article; zbMATH DE number 1615260 (Why is no real title available?)
- scientific article; zbMATH DE number 1638652 (Why is no real title available?)
- scientific article; zbMATH DE number 1696814 (Why is no real title available?)
- scientific article; zbMATH DE number 1809625 (Why is no real title available?)
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- scientific article; zbMATH DE number 6017835 (Why is no real title available?)
- scientific article; zbMATH DE number 4092730 (Why is no real title available?)
- scientific article; zbMATH DE number 3780545 (Why is no real title available?)
- scientific article; zbMATH DE number 17798 (Why is no real title available?)
- scientific article; zbMATH DE number 52331 (Why is no real title available?)
- scientific article; zbMATH DE number 1223724 (Why is no real title available?)
- scientific article; zbMATH DE number 1234567 (Why is no real title available?)
- scientific article; zbMATH DE number 1332633 (Why is no real title available?)
- scientific article; zbMATH DE number 1337862 (Why is no real title available?)
- scientific article; zbMATH DE number 683349 (Why is no real title available?)
- scientific article; zbMATH DE number 1158761 (Why is no real title available?)
- scientific article; zbMATH DE number 1962756 (Why is no real title available?)
- scientific article; zbMATH DE number 1754628 (Why is no real title available?)
- scientific article; zbMATH DE number 2090521 (Why is no real title available?)
- scientific article; zbMATH DE number 794260 (Why is no real title available?)
- scientific article; zbMATH DE number 1444329 (Why is no real title available?)
- scientific article; zbMATH DE number 3235663 (Why is no real title available?)
- scientific article; zbMATH DE number 3196257 (Why is no real title available?)
- Improved Termination Analysis of CHR Using Self-sustainability Analysis
- Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
- Introduction to bisimulation and coinduction
- Linear concurrent constraint programming: Operational and phase semantics
- Linear logic
- LMNtal as a Unifying Declarative Language: Live Demonstration
- Logic Programming
- Logic Programming
- Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6--10, 2004. Proceedings.
- Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8--13, 2007. Proceedings
- 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
- Mobile ambients
- Mobility in the CC-paradigm
- Modeling biological systems in stochastic concurrent constraint programming
- Modeling concurrent systems specified in a temporal concurrent constraint language. I
- Networks of constraints: Fundamental properties and applications to picture processing
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming
- Nondeterminism and infinite computations in constraint programming
- Observable Confluence for Constraint Handling Rules
- Observational equivalences for linear logic concurrent constraint languages
- On the security of public key protocols
- On the symbolic reduction of processes with cryptographic functions.
- On validity in modelization of musical problems by CCP
- Open Bisimulation for the Concurrent Constraint Pi-Calculus
- Partial order and contextual net semantics for atomic and locally atomic CC programs
- Principles and practice of constraint programming. 2nd international workshop, PPCP '94, Rosario, Orcas Island, Washington, DC, USA, May 2-4, 1994. Proceedings
- Proving correctness of constraint logic programs with dynamic scheduling
- Proving correctness of timed concurrent constraint programs
- Psi-calculi: a framework for mobile processes with nominal data and logic
- QoS negotiation in service composition
- Recent Advances in Constraints
- Reducing weak to strong bisimilarity in CCP
- Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
- Semirings for constraint solving and programming.
- Soft concurrent constraint programming
- Spatial and epistemic modalities in constraint-based process calculi
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
- The \textsf{tccp} interpreter
- The Esterel synchronous programming language: Design, semantics, implementation
- Theory and practice of constraint handling rules
- Timed concurrent constraint programming for analysing biological systems
- Timed default concurrent constraint programming
- Timed soft concurrent constraint programs: an interleaved and a parallel approach
- Transformation of logic programs: Foundations and techniques
- Truly concurrent constraint programming
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
- Unfolding and fixpoint semantics of concurrent constraint logic programs
- Using encryption for authentication in large networks of computers
Cited in
(16)- A constraint-based language for multiparty interactions
- On concurrent behaviors and focusing in linear logic
- On subexponentials, focusing and modalities in concurrent systems
- Multithreaded constraint programming: A hybrid approach
- Dynamic spaces in concurrent constraint programming
- A proof theoretic study of soft concurrent constraint programming
- A declarative view of signaling pathways
- Abstract interpretation of temporal concurrent constraint programs
- A concurrent constraint programming interpretation of access permissions
- scientific article; zbMATH DE number 2085264 (Why is no real title available?)
- scientific article; zbMATH DE number 2090521 (Why is no real title available?)
- Demand transformation analysis for concurrent constraint programs
- A symbolic model for timed concurrent constraint programming
- Proving concurrent constraint programming correct, revisited
- Declarative Models of Concurrent Cyclic Processes
- Subexponential concurrent constraint programming
This page was built for publication: Models and emerging trends of concurrent constraint programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2348541)
