Pages that link to "Item:Q1605181"
From MaRDI portal
The following pages link to Truly concurrent constraint programming (Q1605181):
Displaying 50 items.
- Hybrid behaviour of Markov population models (Q259041) (← links)
- A survey of constraint-based programming paradigms (Q458465) (← links)
- Domain consistency with forbidden values (Q481709) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- QoS negotiation in service composition (Q615894) (← links)
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- Graph rewriting for a partial ordering semantics of concurrent constraints programming (Q685459) (← links)
- Process algebra and constraint programming for modeling interactions in MAS (Q814899) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- A declarative semantics of flat guarded Horn clauses for programs with perpetual processes (Q915481) (← links)
- Modeling biological systems in stochastic concurrent constraint programming (Q941672) (← links)
- Hybrid dynamics of stochastic programs (Q969181) (← links)
- Entailment-based actions for coordination (Q1127518) (← links)
- A canonical form for generalized linear constraints (Q1186697) (← links)
- Unfolding and fixpoint semantics of concurrent constraint logic programs (Q1200981) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Theorem proving in a mathematical information environment (Q1288657) (← links)
- An abstract machine for concurrent modular systems: CHARM (Q1314422) (← links)
- Confluence in concurrent constraint programming (Q1391102) (← links)
- Measure and probability for concurrency theorists (Q1589655) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- Intersection reporting on two collections of disjoint sets (Q1818976) (← links)
- Linear concurrent constraint programming: Operational and phase semantics (Q1854410) (← links)
- A multi-scale constraint programming model of alternative splicing regulation (Q1884858) (← links)
- Smart office robot collaboration based on multi-agent programming (Q1978438) (← links)
- Model-based computing: Developing flexible machine control software (Q1978447) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
- Defining Actions in Concurrent Declarative Programming (Q2841291) (← links)
- Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus (Q2864372) (← links)
- Stochastic Concurrent Constraint Programming and Differential Equations (Q2870282) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- What Do Semantics Matter When the Meat Is Overcooked? (Q3507389) (← links)
- Stochastic Programs and Hybrid Automata for (Biological) Modeling (Q3576036) (← links)
- Dynamical Systems and Stochastic Programming: To Ordinary Differential Equations and Back (Q3642958) (← links)
- (Q4499161) (← links)
- (Q4499206) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- Introduction to the special issue on computational logic for verification (Q4644352) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Linear Structures for Concurrency in Probabilistic Programming Languages (Q4923370) (← links)
- From LP to LP: Programming with constraints (Q5096231) (← links)
- 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> (Q5179204) (← links)
- The Importance of Being (A Little Bit) Discrete (Q5404075) (← links)
