At DisCoTec 2025 in Lille we present the paper Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems, by Marco Comini, Luca Gemolotto and Marino Miculan, at FORTE 2025, the 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems.