When fib(2) is allowed to proceed past the sync statement in line 11, it can only be because fib(1) and fib(0) have completed and placed their results in x and y, making it safe to perform calculations on those results.
Όταν η fib(2) μπορεί να περάσει την εντολή sync στη γραμμή 11, τότε η fib(1) και η fib(0) θα έχουν τερματίσει και θα έχουν τοποθετήσει τα αποτελέσματά τους στη x και στην y, επομένως θα είναι ασφαλές να γίνουν υπολογισμοί με αυτές τις μεταβλητές.