Re: Proposal for Bug 3111 - Recursive performs

> brown: Although repetition can be used in some cases to simulate 
> recursion, this is not always the case, and it makes the choreography 
> complicated. So would suggest removing this restriction to enable 
> recursive interaction patterns to be specified.
>
>      6.3 Composing Choreographies
> Second set of bullet points, remove
>
> "There MUST NOT be a cyclic dependency on the choreographies 
> performed. For example, choreography "C1" is performing choreography 
> "C2" which is performing choreography "C1" again is disallowed" 

mm1:  What side effects could we potentially see if we lift this 
restriction? (race conditions for example) Thanks.