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

DOI10.1016/J.JCSS.2024.103544MaRDI QIDQ6564617zbMATH OpenFDO

Authors Mahboubeh Samadi, Fatemeh Ghassemi, Ramtin Khosravi

Publication date 1 July 2024

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JCSS.2024.103544

zbMATH Keywords

asynchronous message passingdeadlockdecentralizedmessage orderingruntime enforcement

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A modified priority based probe algorithm for distributed deadlock detection and resolution
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Decentralized LTL enforcement
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• Organising LTL monitors over distributed systems with a global clock
• Predictive runtime enforcement
• Runtime Verification over Out-of-order Streams
• The Algebra of Connectors—Structuring Interaction in BIP
• Time, clocks, and the ordering of events in a distributed system

This page was built for publication: Decentralized deadlock-free enforcement of message orderings in message-based systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6564617)