Buchumschlag

What Distributed Computing Got Wrong: The Category Mistake That Turned Design Choices into Laws of Nature

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Borrill, Paul
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Distributed, Parallel, and Cluster Computing Logic in Computer Science Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
von: Borrill, Paul
Veröffentlicht: (2026)

The Category Mistake of Cislunar Time: Why NASA Cannot Synchronize What Doesn't Exist
von: Borrill, Paul
Veröffentlicht: (2026)

Unix Tools and the FITO Category Mistake: Crash Consistency and the Protocol Nature of Persistence
von: Borrill, Paul
Veröffentlicht: (2026)

Bisynchronous FIFOs and the FITO Category Mistake: Silicon-Proven Interaction Primitives for Distributed Coordination
von: Borrill, Paul
Veröffentlicht: (2026)

The Markovianity of Time: The Category Mistake in Open Quantum Systems
von: Borrill, Paul
Veröffentlicht: (2026)

Lamport's Arrow of Time: The Category Mistake in Logical Clocks
von: Borrill, Paul
Veröffentlicht: (2026)

The Ghost in the Datacenter: Link Flapping, Topology Knowledge Failures, and the FITO Category Mistake
von: Borrill, Paul
Veröffentlicht: (2026)

Why Atomicity Matters to AI/ML Infrastructure: Snapshots, Firmware Updates, and the Cost of the Forward-In-Time-Only Category Mistake
von: Borrill, Paul
Veröffentlicht: (2026)

Why iCloud Fails: The Category Mistake of Cloud Synchronization
von: Borrill, Paul
Veröffentlicht: (2026)

Background and Intellectual Development: Supplementary Material for the Category Mistake Papers
von: Borrill, Paul
Veröffentlicht: (2026)

Distributed Knowledge in Simplicial Models
von: Goubault, Éric, et al.
Veröffentlicht: (2026)

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

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
von: Schreiber, Dominik
Veröffentlicht: (2025)

The Bilateral Efficiency of Ethernet: Recalibrating Metcalfe and Boggs After Fifty Years
von: Borrill, Paul
Veröffentlicht: (2026)

Subtime: Reversible Information Exchange and the Emergence of Classical Time
von: Borrill, Paul L.
Veröffentlicht: (2026)

The Semantic Arrow of Time, Part IV: Why Transactions Fail
von: Borrill, Paul
Veröffentlicht: (2026)

The Semantic Arrow of Time, Part II: The Semantics of Open Atomic Ethernet
von: Borrill, Paul
Veröffentlicht: (2026)

The Semantic Arrow of Time, Part V: The Leibniz Bridge -- Toward a Unified Theory of Semantic Time
von: Borrill, Paul
Veröffentlicht: (2026)

The Forward-In-Time-Only Assumption in SmartNIC Resource Management: A Critique of Wave and the Case for Bilateral Interaction
von: Borrill, Paul
Veröffentlicht: (2026)

The Semantic Arrow of Time, Part III: RDMA and the Completion Fallacy
von: Borrill, Paul
Veröffentlicht: (2026)

Circumventing the CAP Theorem with Open Atomic Ethernet
von: Borrill, Paul
Veröffentlicht: (2026)

Why Synchronized Time is a Fiction: Daylight Saving Time, Leap Seconds, and the Guillotine Sharpened for Nothing
von: Borrill, Paul
Veröffentlicht: (2026)

Circumventing the FLP Impossibility Result with Open Atomic Ethernet
von: Borrill, Paul
Veröffentlicht: (2026)

Link Wars: The Semantic Crisis. Is the debate over or is it just beginning?
von: Borrill, Paul
Veröffentlicht: (2026)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
von: Brandt, Sebastian, et al.
Veröffentlicht: (2022)

Self-Correcting Gossip Protocols
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

Fair Mutual Exclusion for N Processes (extended version)
von: Hafidi, Yousra, et al.
Veröffentlicht: (2021)

Bisimulation for Impure Simplicial Complexes
von: Bílková, Marta, et al.
Veröffentlicht: (2024)

Proceedings 18th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Application Placement with Constraint Relaxation
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

A categorical and logical framework for iterated protocols
von: Goubault, Eric, et al.
Veröffentlicht: (2025)

Complexity of Verification and Synthesis of Threshold Automata
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
von: Bartl, Lukas, et al.
Veröffentlicht: (2025)

Impure Simplicial Complexes: Complete Axiomatization
von: Randrianomentsoa, Rojo, et al.
Veröffentlicht: (2022)

Verifying the Hashgraph Consensus Algorithm
von: Crary, Karl
Veröffentlicht: (2021)

Knowledge and simplicial complexes
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2020)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
von: Altisen, Karine, et al.
Veröffentlicht: (2025)

Proceedings 17th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2024)

Regular Model Checking Upside-Down: An Invariant-Based Approach
von: Esparza, Javier, et al.
Veröffentlicht: (2022)

The Semantic Arrow of Time, Part I: From Eddington to Ethernet
von: Borrill, Paul
Veröffentlicht: (2026)