Cover Image

Consensus, Inconsistency, Emergence: what's paraconsistency got to do with it?

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Rocha, Gabriel
Format:	Preprint
Published:	2025
Subjects:	Distributed, Parallel, and Cluster Computing Computational Complexity Information Theory Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

ChonkyBFT: Consensus Protocol of ZKsync
by: França, Bruno, et al.
Published: (2025)

Privacy-aware Berrut Approximated Coded Computing for Federated Learning
by: Luaña, Xavier Martínez, et al.
Published: (2024)

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

Modelling the Raft Distributed Consensus Protocol in mCRL2
by: Bora, Parth, et al.
Published: (2024)

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)

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

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

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

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

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

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

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

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

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

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)

VerIso: Verifiable Isolation Guarantees for Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2025)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
by: Cignarale, Giorgio, et al.
Published: (2025)

Wireless Streamlet: A Spectrum-Aware and Cognitive Consensus Protocol for Edge IoT
by: Wang, Taotao, et al.
Published: (2026)

New Limits on Distributed Quantum Advantage: Dequantizing Linear Programs
by: Balliu, Alkida, et al.
Published: (2025)

Matrix Multiplication in the MPC Model
by: Joshi, Lakshya, et al.
Published: (2025)

New Hardness Results for the LOCAL Model via a Simple Self-Reduction
by: Balliu, Alkida, et al.
Published: (2025)

The Distributed Complexity Landscape on Trees Depends on the Knowledge About the Network Size
by: Balliu, Alkida, et al.
Published: (2026)

Tightening I/O Lower Bounds through the Hourglass Dependency Pattern
by: Eyraud-Dubois, Lionel, et al.
Published: (2024)

Is a LOCAL algorithm computable?
by: Cruciani, Antonio, et al.
Published: (2026)

A Review on Message Complexity of the Algorithms for Clock Synchronization in Distributed Systems
by: Dissanayake, Chandeepa, et al.
Published: (2024)

HistMSO: A Logic for Reasoning about Consistency Models with MONA
by: Coget, Isabelle, et al.
Published: (2026)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
by: Guillou, Lucie, et al.
Published: (2023)

A Note on an Inferentialist Approach to Resource Semantics
by: Gheorghiu, Alexander V., et al.
Published: (2024)

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

Phase transition of the 3-majority opinion dynamics with noisy interactions
by: d'Amore, Francesco, et al.
Published: (2021)

Phase Transition of a Non-Linear Opinion Dynamics with Noisy Interactions
by: d'Amore, Francesco, et al.
Published: (2020)

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

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