General Solution

1a: foo( ) {concurrency=guarded | !w.isOK( )}

w:Widget

Previous slide

Next slide

Back to first slide

View graphic version