Attribute-based Communication over Pub/Sub: Transactional Coordination for Smart Systems
Published in FORTE 2025 - 45th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, 2025
This paper introduces a variant of the two phase commit protocol for implementing AbU’s transactional semantics on a generic publisher/subscriber middleware.
Recommended citation: Comini, M., Gemolotto, L., Miculan, M. (2025). Attribute-Based Communication over Pub/Sub: Transactional Coordination for Smart Systems. In: Ferreira, C., Mezzina, C.A. (eds) Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2025. Lecture Notes in Computer Science, vol 15732. Springer, Cham. https://doi.org/10.1007/978-3-031-95497-9_6
Download Paper