Witness structures and immediate snapshot complexes
In this paper we introduce and study a new family of combinatorial simplicial complexes, which we call immediate snapshot complexes. Our construction and terminology is strongly motivated by theoretical distributed computing, as these complexes are combinatorial models of the standard protocol compl...
Main Author: | Dmitry N. Kozlov |
---|---|
Format: | Article |
Language: | English |
Published: |
Discrete Mathematics & Theoretical Computer Science
2017-11-01
|
Series: | Discrete Mathematics & Theoretical Computer Science |
Subjects: | |
Online Access: | https://dmtcs.episciences.org/3122/pdf |
Similar Items
-
Impure Simplicial Complexes: Complete Axiomatization
by: Rojo Randrianomentsoa, et al.
Published: (2023-10-01) -
Characterization and Derivation of Heard-Of Predicates for Asynchronous Message-Passing Models
by: Adam Shimi, et al.
Published: (2021-09-01) -
Modularising Verification Of Durable Opacity
by: Eleni Bila, et al.
Published: (2022-07-01) -
A Framework for Certified Self-Stabilization
by: Karine Altisen, et al.
Published: (2017-11-01) -
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
by: Igor Konnov, et al.
Published: (2023-01-01)