Table 1. Operational Semantics

"... In PAGE 10: ... When one of the previous transitions res, then an actor becomes faulty and therefore will not be able to do nothing from that point on. Note that, consistent with the rules Send and Receive ( Table1 ), only correct actors are able to send and receive messages. 4.... ..."

Cited by 3

Table 1. Operational Semantics

"... In PAGE 10: ... When one of the previous transitions fires, then an actor becomes faulty and therefore will not be able to do nothing from that point on. Note that, consistent with the rules Send and Receive ( Table1 ), only correct actors are able to send and receive messages. 4.... ..."

Table 5: Syntax and Semantics Results

"... In PAGE 4: ... Otherwise, it was marked as no opinion. Table5 shows the results of these experiments. We ran them two ways: once using syntactic con- straints alone and again using both syntactic and semantic constraints.... In PAGE 4: ... The no opinion cases were evenly split between repairs and false positives in both tests.The main points to be noted from Table5 are that with syntax alone, the system is quite ac- curate in detecting repairs, and with syntax and semantics working together, it is accurate at de- tecting false positives. However, since the coverage... ..."