1: \begin{abstract}

2:   The replicated list object is frequently used to model the core functionality

3:   of replicated collaborative text editing systems.

4:   Since 1989, the convergence property has been

5:   a common specification of a replicated list object.

6:   Recently, Attiya et al. proposed the strong/weak list specification

7:   and conjectured that the well-known Jupiter protocol

8:   satisfies the weak list specification.

9:   The major obstacle to proving this conjecture

10:   is the mismatch between the global property on all replica states 

11:   prescribed by the specification

12:   and the local view each replica maintains in Jupiter

13:   using data structures like 1D buffer or 2D state space. 

14:   To address this issue, 

15:   we propose CJupiter (Compact Jupiter) based on

16:   a novel data structure called $n$-ary ordered state space

17:   for a replicated client/server system with $n$ clients.

18:   At a high level, CJupiter maintains only a single $n$-ary ordered state space

19:   which encompasses exactly all states of each replica.

20:   We prove that CJupiter and Jupiter are equivalent and that

21:   CJupiter satisfies the weak list specification,

22:   thus solving the conjecture above.

23: \end{abstract}

24: