while( not $worker1Finished eq 'true' && $worker2Finished eq 'true' ) { # ... }