Decentralized deadlock-free enforcement of message orderings in message-based systems

Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi. Decentralized deadlock-free enforcement of message orderings in message-based systems. J. Comput. Syst. Sci., 144:103544, 2024. [doi]

Abstract

Abstract is missing.