Issue 67 - Proposal for vote (restated)

["Satish Thatte" <satisht@microsoft.com>]

As Ron wrote, the extra sentence he proposed adding led to some
potential confusion about implications for implementation.  He has
withdrawn his suggestion.  I would therefore like to simply restate my
proposal in its original form as the current proposal for a vote.

I propose that we add the following sentences to section to Section 13.6
following paragraph 2.

"Note that serialization of variable access cannot lead to internal
deadlock in a BPEL process instance.  The reason being that,
conceptually, a serializable scope is not started until it can gain
sufficiently exclusive access to all the non-local variables it needs."

Satish