Models and emerging trends of concurrent constraint programming (Q2348541): Difference between revisions

@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+A Framework for Timed Concurrent Constraint Programming with External Functions
+Normal rank
@@ Property / cites work @@
+A semantic framework for the abstract model checking of tccp programs
+Normal rank
@@ Property / cites work @@
+Q2871846
@@ Property / cites work: Q2871846 / rank @@
+Normal rank
@@ Property / cites work @@
+On the symbolic reduction of processes with cryptographic functions.
+Normal rank
@@ Property / cites work @@
+Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Deriving Labels and Bisimilarity for Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Q5208771
@@ Property / cites work: Q5208771 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9--13 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+QoS negotiation in service composition
@@ Property / cites work: QoS negotiation in service composition / rank @@
+Normal rank
@@ Property / cites work @@
+Networks of constraints: Fundamental properties and applications to picture processing
+Normal rank
@@ Property / cites work @@
+Psi-calculi: a framework for mobile processes with nominal data and logic
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Q2723928
@@ Property / cites work: Q2723928 / rank @@
+Normal rank
@@ Property / cites work @@
+The tccp Interpreter
@@ Property / cites work: The tccp Interpreter / rank @@
+Normal rank
@@ Property / cites work @@
+A confluent calculus for concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+A Linear-Logic Semantics for Constraint Handling Rules
+Normal rank
@@ Property / cites work @@
+Semirings for constraint solving and programming.
@@ Property / cites work: Semirings for constraint solving and programming. / rank @@
+Normal rank
@@ Property / cites work @@
+Timed soft concurrent constraint programs: An interleaved and a parallel approach
+Normal rank
@@ Property / cites work @@
+Soft concurrent constraint programming
@@ Property / cites work: Soft concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based CSPs and valued CSPs: Frameworks, properties, and comparison
+Normal rank
@@ Property / cites work @@
+Q3225701
@@ Property / cites work: Q3225701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809158
@@ Property / cites work: Q4809158 / rank @@
+Normal rank
@@ Property / cites work @@
+A timed concurrent constraint language.
@@ Property / cites work: A timed concurrent constraint language. / rank @@
+Normal rank
@@ Property / cites work @@
+Proving correctness of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Proving correctness of Constraint Logic Programs with dynamic scheduling
+Normal rank
@@ Property / cites work @@
+Q3975139
@@ Property / cites work: Q3975139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2736349
@@ Property / cites work: Q2736349 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Nondeterminism and infinite computations in constraint programming
+Normal rank
@@ Property / cites work @@
+Q4535055
@@ Property / cites work: Q4535055 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and practice of constraint programming. 2nd international workshop, PPCP '94, Rosario, Orcas Island, Washington, DC, USA, May 2-4, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Modeling biological systems in stochastic concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Partial order and contextual net semantics for atomic and locally atomic CC programs
+Normal rank
@@ Property / cites work @@
+CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
+Normal rank
@@ Property / cites work @@
+Open Bisimulation for the Concurrent Constraint Pi-Calculus
+Normal rank
@@ Property / cites work @@
+Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
+Normal rank
@@ Property / cites work @@
+Mobile ambients
@@ Property / cites work: Mobile ambients / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract diagnosis for timed concurrent constraint programs
+Normal rank
@@ Property / cites work @@
+Abstract interpretation and application to logic programs
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming. 23rd international conference, ICLP 2007, Porto, Portugal, September 8--13, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Logic programming. 20th international conference, ICLP 2004, Saint-Malo, France, September 6--10, 2004. Proceedings.
+Normal rank
@@ Property / cites work @@
+Q4847021
@@ Property / cites work: Q4847021 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. I
@@ Property / cites work: A calculus of mobile processes. I / rank @@
+Normal rank
@@ Property / cites work @@
+A 25-year perspective on logic programming. Achievements of the Italian Association for Logic Programming, GULP
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Observable Confluence for Constraint Handling Rules
+Normal rank
@@ Property / cites work @@
+Q3150207
@@ Property / cites work: Q3150207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4221353
@@ Property / cites work: Q4221353 / rank @@
+Normal rank
@@ Property / cites work @@
+A multi-scale constraint programming model of alternative splicing regulation
+Normal rank
@@ Property / cites work @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Confluence in concurrent constraint programming
@@ Property / cites work: Confluence in concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint logic programming with dynamic scheduling: A semantics based on closure operators
+Normal rank
@@ Property / cites work @@
+Declarative Diagnosis of Temporal Concurrent Constraint Programs
+Normal rank
@@ Property / cites work @@
+Q4418586
@@ Property / cites work: Q4418586 / rank @@
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Theory and practice of constraint handling rules
@@ Property / cites work: Theory and practice of constraint handling rules / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint Handling Rules
@@ Property / cites work: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819962
@@ Property / cites work: Q3819962 / rank @@
+Normal rank
@@ Property / cites work @@
+Unfolding and fixpoint semantics of concurrent constraint logic programs
+Normal rank
@@ Property / cites work @@
+Concurrent and Reactive Constraint Programming
@@ Property / cites work: Concurrent and Reactive Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767080
@@ Property / cites work: Q2767080 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Timed default concurrent constraint programming
@@ Property / cites work: Timed default concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with continuous change
@@ Property / cites work: Computing with continuous change / rank @@
+Normal rank
@@ Property / cites work @@
+Executing formal specifications with concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Timed Concurrent Constraint Programming for Analysing Biological Systems
+Normal rank
@@ Property / cites work @@
+Observational equivalences for linear logic concurrent constraint languages
+Normal rank
@@ Property / cites work @@
+Closures and Modules Within Linear Logic Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Q4264203
@@ Property / cites work: Q4264203 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit fusions
@@ Property / cites work: Explicit fusions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732648
@@ Property / cites work: Q5732648 / rank @@
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14--17, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4391452
@@ Property / cites work: Q4391452 / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints in computational logics. 1st international conference, CCL '94, Munich, Germany, September 7--9, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Spatial and Epistemic Modalities in Constraint-Based Process Calculi
+Normal rank
@@ Property / cites work @@
+Mobility in the CC-paradigm
@@ Property / cites work: Mobility in the CC-paradigm / rank @@
+Normal rank
@@ Property / cites work @@
+Bridging the Gap between Two Concurrent Constraint Languages
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual occurrence nets and concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+Contextual nets
@@ Property / cites work: Contextual nets / rank @@
+Normal rank
@@ Property / cites work @@
+A confluent relational calculus for higher-order programming with constraints
+Normal rank
@@ Property / cites work @@
+Decidability of infinite-state timed CCP processes and first-order LTL
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Non-determinism and Probabilities in Timed Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Q5523291
@@ Property / cites work: Q5523291 / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation of logic programs: Foundations and techniques
+Normal rank
@@ Property / cites work @@
+Q4953364
@@ Property / cites work: Q4953364 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Termination Analysis of CHR Using Self-sustainability Analysis
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating constraints and concurrent objects in musical applications: A calculus and its visual language
+Normal rank
@@ Property / cites work @@
+On validity in modelization of musical problems by CCP
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312468
@@ Property / cites work: Q4312468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for higher-order concurrent constraint programming
+Normal rank
@@ Property / cites work @@
+CHR(PRISM)-based probabilistic logic learning
@@ Property / cites work: CHR(PRISM)-based probabilistic logic learning / rank @@
+Normal rank
@@ Property / cites work @@
+As time goes by: Constraint Handling Rules
@@ Property / cites work: As time goes by: Constraint Handling Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+LMNtal as a Unifying Declarative Language: Live Demonstration
+Normal rank
@@ Property / cites work @@
+Q4219040
@@ Property / cites work: Q4219040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4259957
@@ Property / cites work: Q4259957 / rank @@
+Normal rank