The following pages link to (Q3150207):
Displayed 24 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← links)
- Characterizing right inverses for spatial constraint systems with applications to modal logic (Q1786563) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- A multi-agent model for polarization under confirmation bias in social networks (Q2117012) (← links)
- Models and emerging trends of concurrent constraint programming (Q2348541) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- Timed Concurrent Constraint Programming for Analysing Biological Systems (Q2864201) (← links)
- Bridging the Gap between Two Concurrent Constraint Languages (Q3003518) (← links)
- Deriving Inverse Operators for Modal Logic (Q3179402) (← links)
- (Q3385648) (← links)
- A Declarative View of Signaling Pathways (Q3460870) (← links)
- Abstract interpretation of temporal concurrent constraint programs (Q4592982) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
- TCC, with History (Q5418978) (← links)
- Non-determinism and Probabilities in Timed Concurrent Constraint Programming (Q5504690) (← links)
- Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming (Q5504691) (← links)
- A Formal Model for Polarization under Confirmation Bias in Social Networks (Q5883747) (← links)