Image de couverture de livre

From descriptive to distributed

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Grebík, Jan, Vidnyánszky, Zoltán
Format:	Preprint
Publié:	2025
Sujets:	Logic Distributed, Parallel, and Cluster Computing Combinatorics
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On Homomorphism Graphs
par: Brandt, Sebastian, et autres
Publié: (2021)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
par: Brandt, Sebastian, et autres
Publié: (2022)

Borel Vizing's Theorem for Graphs of Subexponential Growth
par: Bernshteyn, Anton, et autres
Publié: (2023)

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
par: Bernshteyn, Anton, et autres
Publié: (2023)

Moser-Tardos Algorithm with small number of random bits
par: Csóka, Endre, et autres
Publié: (2022)

Fair Mutual Exclusion for N Processes (extended version)
par: Hafidi, Yousra, et autres
Publié: (2021)

Proceedings 18th Interaction and Concurrency Experience
par: Aubert, Clément, et autres
Publié: (2025)

Application Placement with Constraint Relaxation
par: Azzolini, Damiano, et autres
Publié: (2025)

A categorical and logical framework for iterated protocols
par: Goubault, Eric, et autres
Publié: (2025)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
par: Schreiber, Dominik
Publié: (2025)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
par: Bartl, Lukas, et autres
Publié: (2025)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
par: Altisen, Karine, et autres
Publié: (2025)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
par: Schultz, William, et autres
Publié: (2024)

Bisimulation for Impure Simplicial Complexes
par: Bílková, Marta, et autres
Publié: (2024)

Self-Correcting Gossip Protocols
par: Cignarale, Giorgio, et autres
Publié: (2026)

Distributed Knowledge in Simplicial Models
par: Goubault, Éric, et autres
Publié: (2026)

Complexity of Verification and Synthesis of Threshold Automata
par: Balasubramanian, A. R., et autres
Publié: (2020)

Impure Simplicial Complexes: Complete Axiomatization
par: Randrianomentsoa, Rojo, et autres
Publié: (2022)

Verifying the Hashgraph Consensus Algorithm
par: Crary, Karl
Publié: (2021)

Knowledge and simplicial complexes
par: van Ditmarsch, Hans, et autres
Publié: (2020)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
par: Borrill, Paul
Publié: (2026)

Proceedings 17th Interaction and Concurrency Experience
par: Aubert, Clément, et autres
Publié: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
par: Esparza, Javier, et autres
Publié: (2022)

Gathering in Non-Vertex-Transitive Graphs Under Round Robin
par: Cicerone, Serafino, et autres
Publié: (2025)

An optimal algorithm for geodesic mutual visibility on hexagonal grids
par: Badri, Sahar, et autres
Publié: (2024)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
par: Pham, Long, et autres
Publié: (2023)

VerIso: Verifiable Isolation Guarantees for Database Transactions
par: Ghasemirad, Shabnam, et autres
Publié: (2025)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
par: Cignarale, Giorgio, et autres
Publié: (2025)

A Note on an Inferentialist Approach to Resource Semantics
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

Multiparty equality in the local broadcast model
par: Esperet, Louis, et autres
Publié: (2025)

Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
par: Zhang, Junchao
Publié: (2025)

ChonkyBFT: Consensus Protocol of ZKsync
par: França, Bruno, et autres
Publié: (2025)

Towards a Formal Verification of Secure Vehicle Software Updates
par: Hagen, Martin Slind, et autres
Publié: (2025)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
par: Yao, Shucai, et autres
Publié: (2025)

Persistent homology of partially ordered spaces
par: Calk, Cameron, et autres
Publié: (2023)

Specifying and Verifying RDMA Synchronisation (Extended Version)
par: Ambal, Guillaume, et autres
Publié: (2026)

Modelling the Raft Distributed Consensus Protocol in mCRL2
par: Bora, Parth, et autres
Publié: (2024)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
par: De Sclavis, Francesco, et autres
Publié: (2024)

Communication Modalities
par: Kuznets, Roman
Publié: (2024)

What Distributed Computing Got Wrong: The Category Mistake That Turned Design Choices into Laws of Nature
par: Borrill, Paul
Publié: (2026)