The following pages link to Yehia Abd Alrahman (Q2011214):
Displaying 4 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)