Browsing IT Faculty / IT-fakulteten by Author "Abd Alrahman, Yehia"
Now showing items 1-2 of 2
-
Language Support for Verifying Reconfigurable Interacting Systems
Abd Alrahman, Yehia; Azzopardi, Shaun; Di Stefano, Luca; Piterman, Nir (2023)Reconfigurable interacting systems consist of a set of autonomous agents, with integrated interaction capabilities that feature opportunistic interaction. Agents seemingly reconfigure their interactions interfaces by forming ... -
A PO Characterisation of Reconfiguration
Abd Alrahman, Yehia; Martel, Mauricio; Piterman, Nir (2022)We consider partial order semantics of concurrent systems in which local reconfigurations may have global side effects. That is, local changes happening to an entity may block or unblock events relating to others, namely, ...