this is for holding javascript data
Matthew Milano added section_6_23_We_describe__.tex
about 9 years ago
Commit id: 677c1037e2536314ec7f45ac2871977c7a753437
deletions | additions
diff --git a/section_6_23_We_describe__.tex b/section_6_23_We_describe__.tex
new file mode 100644
index 0000000..af891b5
--- /dev/null
+++ b/section_6_23_We_describe__.tex
...
\section*{6.23}
We describe $\gamma^{rom}$ by way of delta from $\gamma^{som}$. The context $\gamma^{rom}$ differs from $\gamma^{som}$ only in the environment's protocol. The environment's protocol too is the same, except we modify clause (2) (of the description of $\gamma^{som}$) to allow $a_{ei}$ to have the form block$_i$(Q) for any process $i$ provided all processes in $Q$ have failed, for any subset of failed processes; we also modify it to prevent the message $(fail_i, block_i(Q))$, preferring instead the form $(fail_i, \{block_j(\{i\}), block_k(\{i\}) ... \})$.