Pages that link to "Item:Q679325"
From MaRDI portal
The following pages link to Timed default concurrent constraint programming (Q679325):
Displayed 25 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- A survey of constraint-based programming paradigms (Q458465) (← links)
- Channel-based coordination via constraint satisfaction (Q541681) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- An axiomatic semantics for the synchronous language Gentzen. (Q1400575) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- A timed concurrent constraint language. (Q1854359) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- A multi-scale constraint programming model of alternative splicing regulation (Q1884858) (← links)
- Semantics of temporal constrained objects (Q1996867) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- A synchronous \(\pi\)-calculus (Q2381508) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Comparative analysis of the expressiveness of shared dataspace coordination (Q2841273) (← links)
- Timed Term Rewrite Systems (Q2841289) (← links)
- A Proof Theoretic Study of Soft Concurrent Constraint Programming (Q2931271) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Timed soft concurrent constraint programs: An interleaved and a parallel approach (Q4593013) (← links)
- Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I (Q4923526) (← 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)
- TCC, with History (Q5418978) (← links)
- An axiomatic semantics for Esterel (Q5958617) (← links)