I modellen för det atomära ögonblicksbildssystemet kommunicerar processerna i ett asynkront distribuerat system genom atomisk skrivande och atomisk ögonblicksbildsläsning på ett delat minne bestående av enskrivarregister med flera läsare. Processerna kan misslyckas genom att krascha. Det visas att i denna modell, en vänta-fri, full-information protokoll komplex är homotopy motsvarar den underliggande indata komplexet. En spännvidd i betydelsen Herlihy och Shavit ger homotopy likvärdighet. Härav följer att protokollkomplexet och inmatningskomplexet är oskiljaktiga av vanliga homologi- eller homotopiska grupper.
Ett AS-protokoll komplex är i allmänhet inte homeomorphic till den underliggande inmatningskomplex, men det är homotopy motsvarande det REF.
A Note on the Homotopy Type of Wait-free Atomic Snapshot Protocol Complexes
{'venue': None, 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}