The following pages link to (Q4312468):
Displayed 18 items.
- Comparing three coordination models: Reo, ARC, and PBRD (Q608351) (← links)
- Reactors: a data-oriented synchronous/asynchronous programming model for distributed applications (Q1004062) (← links)
- Truly concurrent constraint programming (Q1605181) (← links)
- Decidability of infinite-state timed CCP processes and first-order LTL (Q1763732) (← 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)
- Slicing concurrent constraint programs (Q2409727) (← links)
- Timed Term Rewrite Systems (Q2841289) (← links)
- Bridging the Gap between Two Concurrent Constraint Languages (Q3003518) (← links)
- What Is in a Step: New Perspectives on a Classical Question (Q3587261) (← links)
- Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I (Q4923526) (← links)
- The tccp Interpreter (Q5170191) (← links)
- Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints (Q5179210) (← links)
- Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming (Q5325767) (← 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)
- Models for concurrent constraint programming (Q6104366) (← links)