Это код, и я получаю сообщение об ошибке. В нем говорится, что «необъявленная переменная: fromS увидел оператор:?»
proctype Sender(chan in, out)
{ byte mt; /* message data */
bit at; /* alternation bit transmitted */
bit ar; /* alternation bit received */
FETCH; /* get a new message */
out!data(mt,at); /* send it */
do
::in?ack(ar) -> /* await response */
if
::(ar == at) -> /* correct send */
FETCH; /* get a new message */
at=1-at /* toggle bit */
::else -> /* there was a send error */
skip /* don’t fetch */
fi;
out!data(mt,at)
::in?error(ar) -> /* recv error */
out!data(mt,at)
od}