greg/machi
1
0
Fork 0
Code Issues 11 Pull requests 1 Projects Releases Packages Wiki Activity Actions

Fix typo of actor.

Browse source
This commit is contained in:
Christopher Meiklejohn 2015-08-20 13:25:26 -07:00
parent f8a09b233d
commit 54c2158d1f
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/src.high-level/high-level-chain-mgr.tex
View file

@ -491,7 +491,7 @@ AP/eventually consistent mode.
On $a$'s network-partitioned island, $a$ can choose On $a$'s network-partitioned island, $a$ can choose
an active chain definition of {\tt [A]}. an active chain definition of {\tt [A]}.
Similarly $b$ can choose a definition of {\tt [B]}. Both $a$ and $B$ Similarly $b$ can choose a definition of {\tt [B]}. Both $a$ and $b$
might choose the might choose the
epoch for their proposal to be \#42. Because each are separated by epoch for their proposal to be \#42. Because each are separated by
network partition, neither can realize the conflict. network partition, neither can realize the conflict.