A Behavioral Theory for Distributed Systems with Weak Recovery

Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani. A Behavioral Theory for Distributed Systems with Weak Recovery. Logical Methods in Computer Science, 21(3), 2025. [doi]

Abstract

Abstract is missing.