Copertina

A categorical and logical framework for iterated protocols

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Goubault, Eric, Flores, Bernardo Hummes, Kniazev, Roman, Ledent, Jeremy, Rajsbaum, Sergio
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Distributed, Parallel, and Cluster Computing
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Knowledge and simplicial complexes
di: van Ditmarsch, Hans, et al.
Pubblicazione: (2020)

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

Persistent homology of partially ordered spaces
di: Calk, Cameron, et al.
Pubblicazione: (2023)

Impure Simplicial Complexes: Complete Axiomatization
di: Randrianomentsoa, Rojo, et al.
Pubblicazione: (2022)

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

Communication Modalities
di: Kuznets, Roman
Pubblicazione: (2024)

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

Application Placement with Constraint Relaxation
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

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

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

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

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

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

Self-Correcting Gossip Protocols
di: Cignarale, Giorgio, et al.
Pubblicazione: (2026)

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

Verifying the Hashgraph Consensus Algorithm
di: Crary, Karl
Pubblicazione: (2021)

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

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

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

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

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

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

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
di: De Sclavis, Francesco, et al.
Pubblicazione: (2024)

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

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

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

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
di: Yao, Shucai, et al.
Pubblicazione: (2025)

Specifying and Verifying RDMA Synchronisation (Extended Version)
di: Ambal, Guillaume, et al.
Pubblicazione: (2026)

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

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
di: Pham, Long, et al.
Pubblicazione: (2023)

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

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

Fast and Secure Decentralized Optimistic Rollups Using Setchain
di: Capretto, Margarita, et al.
Pubblicazione: (2024)

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

The Smart Contract Model
di: Amoussou-Guenou, Yackolley, et al.
Pubblicazione: (2025)

From descriptive to distributed
di: Grebík, Jan, et al.
Pubblicazione: (2025)

On Homomorphism Graphs
di: Brandt, Sebastian, et al.
Pubblicazione: (2021)

Borel Vizing's Theorem for Graphs of Subexponential Growth
di: Bernshteyn, Anton, et al.
Pubblicazione: (2023)

Borel versions of the Local Lemma and LOCAL algorithms for graphs of finite asymptotic separation index
di: Bernshteyn, Anton, et al.
Pubblicazione: (2023)