RE: [wsbpel] Issue 81 - Rough draft of proposal for vote

The following is also statically detectable:

sequence
	invoke
	receive
sequence

Depending on the time spent executing the invoke, the receive message might be lost. So are we going to disallow that type of sequence too?

Ugo