1 | 5. ||tr'||![]() 6. ![]() ![]() ![]() ![]() 7. x: |E| 8. i: ![]() 9. i < ||tr'|| 10. x = tr'[i] 11. ||tr'|| ![]() 12. j: ![]() 13. j ![]() 14. is-send(E)(tr[j]) 15. tr[j] =msg=(E) tr[i] ![]() ![]() ![]() |
2 | 5. ||tr'||![]() 6. ![]() ![]() ![]() ![]() 7. x: |E| 8. i: ![]() 9. i < ||tr'|| 10. x = tr'[i] 11. ||tr'|| ![]() 12. j: ![]() 13. j ![]() 14. is-send(E)(tr[j]) 15. tr[j] =msg=(E) tr[i] ![]() |
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |