more
This commit is contained in:
parent
f27e601e41
commit
f85e2ec68a
|
@ -1,4 +1,5 @@
|
||||||
digraph {
|
digraph {
|
||||||
|
|
||||||
/* could shave a RTT by committing to the nameplate early, before
|
/* could shave a RTT by committing to the nameplate early, before
|
||||||
finishing the rest of the code input. While the user is still
|
finishing the rest of the code input. While the user is still
|
||||||
typing/completing the code, we claim the nameplate, open the mailbox,
|
typing/completing the code, we claim the nameplate, open the mailbox,
|
||||||
|
@ -195,6 +196,7 @@ digraph {
|
||||||
*/
|
*/
|
||||||
|
|
||||||
/* ConnectionMachine */
|
/* ConnectionMachine */
|
||||||
|
/*
|
||||||
WCM_S_known -> CM_start [style="invis"]
|
WCM_S_known -> CM_start [style="invis"]
|
||||||
CM_start [label="Connection\nMachine" style="dotted"]
|
CM_start [label="Connection\nMachine" style="dotted"]
|
||||||
CM_start -> CM_S_neither [style="invis"]
|
CM_start -> CM_S_neither [style="invis"]
|
||||||
|
@ -205,5 +207,5 @@ digraph {
|
||||||
CM_P_bind [shape="box" label="C_send(bind)"]
|
CM_P_bind [shape="box" label="C_send(bind)"]
|
||||||
CM_P_bind -> CM_S_bound
|
CM_P_bind -> CM_S_bound
|
||||||
CM_S_bound [label="bound"]
|
CM_S_bound [label="bound"]
|
||||||
|
*/
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue
Block a user