Truly concurrent constraint programming
From MaRDI portal
Publication:1605181
DOI10.1016/S0304-3975(00)00337-6zbMath1002.68026MaRDI QIDQ1605181
Vijay Saraswat, Vineet Gupta, Radha Jagadeesan
Publication date: 15 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (56)
A multi-scale constraint programming model of alternative splicing regulation ⋮ A program analysis framework for \textit{tccp} based on abstract interpretation ⋮ A Declarative View of Signaling Pathways ⋮ On subexponentials, focusing and modalities in concurrent systems ⋮ Slicing concurrent constraint programs ⋮ Entailment-based actions for coordination ⋮ Comparing three coordination models: Reo, ARC, and PBRD ⋮ From LP to LP: Programming with constraints ⋮ Confluence in concurrent constraint programming ⋮ QoS negotiation in service composition ⋮ Abstract interpretation of temporal concurrent constraint programs ⋮ What Do Semantics Matter When the Meat Is Overcooked? ⋮ Subexponential concurrent constraint programming ⋮ Comparative metric semantics for concurrent PROLOG ⋮ A declarative semantics of flat guarded Horn clauses for programs with perpetual processes ⋮ A survey of constraint-based programming paradigms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Domain consistency with forbidden values ⋮ Smart office robot collaboration based on multi-agent programming ⋮ Model-based computing: Developing flexible machine control software ⋮ Modeling biological systems in stochastic concurrent constraint programming ⋮ A canonical form for generalized linear constraints ⋮ Nondeterminism and infinite computations in constraint programming ⋮ The Importance of Being (A Little Bit) Discrete ⋮ Introduction to the special issue on computational logic for verification ⋮ A concurrent constraint programming interpretation of access permissions ⋮ Graph rewriting for a partial ordering semantics of concurrent constraints programming ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Functional Logic Programming: From Theory to Curry ⋮ On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation ⋮ Stochastic Programs and Hybrid Automata for (Biological) Modeling ⋮ Constraint satisfaction using constraint logic programming ⋮ TCC, with History ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ Decidability of infinite-state timed CCP processes and first-order LTL ⋮ Channel-based coordination via constraint satisfaction ⋮ Hybrid dynamics of stochastic programs ⋮ Abstract Analysis of Universal Properties for tccp ⋮ Deconstructing <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="script">R</mml:mi><mml:mi mathvariant="sans-serif">eo</mml:mi></mml:math> ⋮ From eager or lazy constrained data acquisition: A general framework ⋮ Intersection reporting on two collections of disjoint sets ⋮ Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back ⋮ Defining Actions in Concurrent Declarative Programming ⋮ Theorem proving in a mathematical information environment ⋮ Non-determinism and Probabilities in Timed Concurrent Constraint Programming ⋮ Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming ⋮ Measure and probability for concurrency theorists ⋮ Linear concurrent constraint programming: Operational and phase semantics ⋮ Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus ⋮ An abstract machine for concurrent modular systems: CHARM ⋮ Models and emerging trends of concurrent constraint programming ⋮ Stochastic Concurrent Constraint Programming and Differential Equations ⋮ Truly concurrent constraint programming ⋮ Process algebra and constraint programming for modeling interactions in MAS ⋮ Hybrid behaviour of Markov population models
Cites Work
- Modular construction and partial order semantics of Petri nets
- Modeling concurrency with partial orders
- Domain theory in logical form
- A theory of processes with localities
- Testing equivalences for processes
- Truly concurrent constraint programming
- A Powerdomain Construction
- Design, implementation, and evaluation of the constraint language cc(FD)
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Truly concurrent constraint programming
