Skip to content
Open
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion figures/virtual-channel-three-participants.tex
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@
\node (b2) at (1,-1) { $\finalizable{L''}{\alloc{G'': x}}{C, I}$ };
\node (g0) at (-1,-2) { $\finalizable{G}{\guar{J}{\rchi, A, I}}{A, I}$ };
\node (g1) at (0,-2) { $\finalizable{G'}{\guar{J}{\rchi, B, I}}{B, I}$ };
\node (g2) at (1,-2) { $\finalizable{G''}{\guar{J}{\rchi, B, I}}{C, I}$ };
\node (g2) at (1,-2) { $\finalizable{G''}{\guar{J}{\rchi, C, I}}{C, I}$ };
\node (j) at (0,-3) { $\finalizable{J}{\alloc{\rchi: x, I: x}}{A,B,C,I}$ };
\node (c) at (0,-4) { $\finalizable{\rchi}{\alloc{A: a, B: b, C: c}}{A,B,C}$ };

Expand Down