(j3.2006) Does synchronization occur?

[Van Snyder]

On Wed, 2014-10-08 at 09:27 +0900, Malcolm Cohen wrote:
> We could consider replacing the first sentence of p11 to be something
> along the 
> lines of
>    "Execution of a statement that causes deallocation of a coarray
> causes an 
> implicit synchronization of all images."
> (the rest of p11 looks basically ok), and deleting p12.  That would
> simplify the 
> description and remove the reliance on p10 to get the semantics right.

I've prepared a paper that does this.  I'll upload it soon.