Attribute-based communication; Distributed systems; ECA rules; Edge computing; Formal methods; IoT programming

In recent years, event-driven programming languages, in particular those based on Event Condition Action (ECA) rules, have emerged as a promising paradigm for implementing ubiquitous and pervasive systems. These implementations are mostly …