The field of distributed systems and temporal logic is moving towards addressing the challenges of imperfect information, hyperproperties, and fault tolerance. Researchers are exploring new logics and frameworks that can handle these complexities, such as Hyper Strategy Logic and communication abstractions for optimal Byzantine resilience. Noteworthy papers include one that studies the relation between Strategy Logic with imperfect information and Hyper Strategy Logic, showing their equivalence under certain conditions. Another paper proposes a new communication and execution model, the R(1)W(1) model, for self-stabilizing distributed algorithms. Additionally, a paper on DiLi, a lock-free asynchronously distributable linked list, demonstrates its performance and scalability in distributed environments.
Advances in Distributed Systems and Temporal Logic
Sources
Strategy Logic, Imperfect Information, and Hyperproperties
Unreliability in Practical Subclasses of Communicating Systems
On Hyperproperty Verification, Quantifier Alternations, and Games under Partial Information
Beyond Canonical Rounds: Communication Abstractions for Optimal Byzantine Resilience
On Prediction-Based Properties of Discrete-Event Systems: Notions, Applications and Supervisor Synthesis
The R(1)W(1) Communication Model for Self-Stabilizing Distributed Algorithms
DiLi: A Lock-Free Asynchronously Distributable Linked List
MuFASA -- Asynchronous Checkpoint for Weakly Consistent Fully Replicated Databases