Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. - Marco Comini; Luca Gemolotto; Marino Miculan (FORTE, 2025)