diff options
author | Jeff Burdges <burdges@gnunet.org> | 2018-09-15 14:25:29 +0200 |
---|---|---|
committer | Jeff Burdges <burdges@gnunet.org> | 2018-09-15 14:25:29 +0200 |
commit | 8e9158f5df1c1131134b5572eccd0fb0d871ca72 (patch) | |
tree | 0cf6e6ab2753beacd052e4876bff2b3fdba8d66b /taler-fc19 | |
parent | 598c43f7d8743e62b881444bbfb7e8efc463ba2a (diff) | |
download | papers-8e9158f5df1c1131134b5572eccd0fb0d871ca72.tar.gz papers-8e9158f5df1c1131134b5572eccd0fb0d871ca72.tar.bz2 papers-8e9158f5df1c1131134b5572eccd0fb0d871ca72.zip |
We do not say other oracles have no return value when they do not.
Diffstat (limited to 'taler-fc19')
-rw-r--r-- | taler-fc19/paper.tex | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/taler-fc19/paper.tex b/taler-fc19/paper.tex index cec9a7c..61e4e4a 100644 --- a/taler-fc19/paper.tex +++ b/taler-fc19/paper.tex @@ -390,8 +390,7 @@ adversary can send and receive messages. \item $\ora{SendMessage}(\mathcal{I}, P_1, P_2, m) \mapsto ()$:
Send message $m$ on the channel from party $P_1$ to party $P_2$ in the
- execution of interactive protocol $\mathcal{I}$. The oracle does not have
- a return value.
+ execution of interactive protocol $\mathcal{I}$.
\item $\ora{ReceiveMessage}(\mathcal{I}, P_1, P_2) \mapsto m$:
Read message $m$ in the channel from party $P_1$ to party $P_2$ in the execution
|