The following pages link to Yehia Abd Alrahman (Q2011214):
Displayed 5 items.
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- On the Power of Attribute-Based Communication (Q2827459) (← links)
- Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude? (Q2945130) (← links)
- Testing for coordination fidelity (Q6199105) (← links)