Skip to content

Commit

Permalink
Pi' Depends on kappa' (#69)
Browse files Browse the repository at this point in the history
as described in formula:
π'0[v]g ≡ a[v]g + (κ'v ∈ R)

Also removed dependency on tau', as tau' is already present in H, so it is redundant.
  • Loading branch information
danicuki authored Sep 9, 2024
1 parent d15701d commit 7dda554
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion text/overview.tex
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ \subsubsection{State Transition Dependency Graph}
\mathbf{C}
\end{rcases*} &\prec (\xtassurances, \rho', \delta^\dagger, \chi, \iota, \varphi) \\
\alpha' &\prec (\xtguarantees, \varphi', \alpha) \\
\pi' &\prec (\xtguarantees, \xtpreimages, \xtassurances, \xttickets, \tau, \tau', \pi, \mathbf{H})
\pi' &\prec (\xtguarantees, \xtpreimages, \xtassurances, \xttickets, \tau, \kappa', \pi, \mathbf{H})
\end{align}

The only synchronous entanglements are visible through the intermediate components superscripted with a dagger and defined in equations \ref{eq:betadagger}, \ref{eq:deltadagger} and \ref{eq:rhoddagger}. The latter two mark a merge and join in the dependency graph and, concretely, imply that the preimage lookup extrinsic must be folded into state before the availability extrinsic may be fully processed and accumulation of work happen.
Expand Down

0 comments on commit 7dda554

Please sign in to comment.