Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The Consistency Correctness in CoPPar Tree

Xincheng Yang, Kyle Hale

Abstract

This article is a supplementary document for the CoPPar Tree paper, providing a detailed correctness proof for the CoPPar architecture.

The Consistency Correctness in CoPPar Tree

Abstract

This article is a supplementary document for the CoPPar Tree paper, providing a detailed correctness proof for the CoPPar architecture.
Paper Structure (4 sections, 2 theorems)

This paper contains 4 sections, 2 theorems.

Table of Contents

  1. Introduction
  2. Model and Notation
  3. Definition of the COC Problem
  4. CoPPar Tree Correctness Proof

Key Result

Lemma 1

OSC and COC are mutually exclusive. Moreover, a history $H$ that satisfies $L4$ and does not satisfy $L5$ is OSC.

Theorems & Definitions (6)

  • Lemma 1
  • proof
  • Lemma 2
  • proof
  • proof
  • proof