status-im/research
2
0
Fork 0
mirror of https://github.com/status-im/research.git synced 2025-01-30 08:45:00 +00:00
Code Issues Projects Releases Wiki Activity

Update definition of "later"

Browse Source 
Otherwise L(v,M) is always null
This commit is contained in:
Kent Shikama 2018-01-14 22:30:27 +09:00
parent 8c33873cd4
commit ba322a6e1d
No known key found for this signature in database
GPG Key ID: D275958A0FA61427
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
papers/CasperTFG/CasperTFG.tex
View File

@ -186,7 +186,7 @@ D(m) = &\{m\}\cup \bigcup_{m' \in J(m)} D(m')
This definition can be extended in a natural way to define the dependencies of a set of messages (by taking the union of the dependencies of the individual messages).
If $m_1 \prec m_2$, then we also say that $m_2$ is ``later'' than $m_1$ and write $m_2 \succ m_1$.
If $m_1 \prec m_2$ and $m_1 \neq m_2$, then we also say that $m_2$ is ``later'' than $m_1$ and write $m_2 \succ m_1$.
We now have the language to talk about the latest message from a sender $v$ out of a set of messages $M$, which we denote as $L(v, M)$: