Autonomic computing; Bisimulations; Distributed systems; ECA rules; Formal methods; IoT programming; Verification

Attribute-based memory Updates ([Formula presented]in short) is an interaction mechanism recently introduced for adapting the Event-Condition-Action (ECA) programming paradigm to distributed reactive systems, such as autonomic and smart IoT device …