Cover Image

Just Verification of Mutual Exclusion Algorithms

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	van Glabbeek, Rob, Luttik, Bas, Spronck, Myrthe
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Distributed, Parallel, and Cluster Computing F.3.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Just Verification of Mutual Exclusion Algorithms with (Non-)Blocking and (Non-)Atomic Registers
by: van Glabbeek, Rob, et al.
Published: (2026)

Technical Report: Exploring Automatic Model-Checking of the Ethereum specification
by: Konnov, Igor, et al.
Published: (2025)

A Sufficient Epistemic Condition for Solving Stabilizing Agreement
by: Cignarale, Giorgio, et al.
Published: (2024)

Two-sorted algebraic decompositions of Brookes's shared-state denotational semantics
by: Dvir, Yotam, et al.
Published: (2025)

Fair Termination of Asynchronous Binary Sessions
by: Padovani, Luca, et al.
Published: (2025)

Fair Mutual Exclusion for N Processes (extended version)
by: Hafidi, Yousra, et al.
Published: (2021)

An Evaluation of Massively Parallel Algorithms for DFA Minimization
by: Martens, Jan, et al.
Published: (2024)

The Autonomous Data Language -- Concepts, Design and Formal Verification
by: Franken, Tom T. P., et al.
Published: (2025)

A Complete Axiomatization of Branching Bisimilarity for a Simple Process Language with Probabilistic Choice
by: van Glabbeek, Rob, et al.
Published: (2025)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
by: Spronck, Myrthe, et al.
Published: (2024)

Complexity of Verification and Synthesis of Threshold Automata
by: Balasubramanian, A. R., et al.
Published: (2020)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
by: Schultz, William, et al.
Published: (2024)

Verifying the Hashgraph Consensus Algorithm
by: Crary, Karl
Published: (2021)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
by: Altisen, Karine, et al.
Published: (2025)

Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows
by: Colonnelli, Iacopo, et al.
Published: (2024)

Verification of Population Protocols with Unordered Data
by: van Bergerem, Steffen, et al.
Published: (2024)

Impure Simplicial Complexes: Complete Axiomatization
by: Randrianomentsoa, Rojo, et al.
Published: (2022)

Bisimulation for Impure Simplicial Complexes
by: Bílková, Marta, et al.
Published: (2024)

Knowledge and simplicial complexes
by: van Ditmarsch, Hans, et al.
Published: (2020)

Self-Correcting Gossip Protocols
by: Cignarale, Giorgio, et al.
Published: (2026)

VSS Challenge Problem: Verifying the Correctness of AllReduce Algorithms in the MPICH Implementation of MPI
by: Hovland, Paul D.
Published: (2025)

Graded modal logic and counting message passing automata
by: Ahvonen, Veeti, et al.
Published: (2024)

Semitopology: a topological approach to decentralised collaborative action
by: Gabbay, Murdoch
Published: (2023)

Reusable Formal Verification of DAG-based Consensus Protocols
by: Bertrand, Nathalie, et al.
Published: (2024)

Towards a Formal Verification of Secure Vehicle Software Updates
by: Hagen, Martin Slind, et al.
Published: (2025)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
by: Brandt, Sebastian, et al.
Published: (2022)

Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
by: Zhang, Junchao
Published: (2025)

Proceedings 18th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2025)

Application Placement with Constraint Relaxation
by: Azzolini, Damiano, et al.
Published: (2025)

A categorical and logical framework for iterated protocols
by: Goubault, Eric, et al.
Published: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
by: Schreiber, Dominik
Published: (2025)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025)

Distributed Knowledge in Simplicial Models
by: Goubault, Éric, et al.
Published: (2026)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
by: Borrill, Paul
Published: (2026)

Proceedings 17th Interaction and Concurrency Experience
by: Aubert, Clément, et al.
Published: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
by: Esparza, Javier, et al.
Published: (2022)

Survey on Token-Based Distributed MutualExclusion Algorithms
by: Tohidi, Elahe, et al.
Published: (2025)

JustAct+: A Framework for Auditable Multi-Agent Systems Regulated by Inter-Organisational Policies
by: Esterhuyse, Christopher A., et al.
Published: (2025)

Formal Methods for Mobile Ad Hoc Networks: A Survey
by: Fokkink, Wan, et al.
Published: (2025)

Abstract Continuation Semantics for Multiparty Interactions in Process Calculi based on CCS
by: Todoran, Eneia Nicolae, et al.
Published: (2024)