Yehia ABD ALRahman

attribute-based communication reactive synthesis verification concurrency theory adaptation modeling collective interaction collective-adaptive system automatic control supervisory control control reconfiguration agents theories and logics interaction formalisms multi-agent systems efficient distributed coronation infrastructure coordination framework operational semantics process algebra collaborative behaviors computer science theory