Re: [Sip] [Sipping] INVITE dialogs

[Paul Kyzivat <pkyzivat at cisco.com>]

I think it is up to the wg and the chairs whether the draft is opened up 
for inclusion of more races. I haven't had time to examine Pamela's 
document in detail, so I can't speak to the specific races she has found 
right now. I would not be terribly surprised if there are more. But I am 
surprised if there are 40 more. Perhaps many of those are variants on a 
theme and might be viewed by others as some smaller number.

	Thanks,
	Paul

Saverio Niccolini wrote:
> > It would be a very interesting "live fire demonstration" of 
> > the value of the formalism if it discovered race conditions 
> > that we hadn't identified by informal means.
>
> I would not be surprise to discover that race conditions identified by
> informal means are much less than the ones identified using a formalism
> (even if one using simplifications).
>
> Paul was saying there is not chance to touch the
> draft-ietf-sipping-race-examples
>
> is there any plan to address the identified new race conditions
> in another draft then? (Pamela was speaking of about 40 more...)
>
> Saverio
> _______________________________________________
> Sipping mailing list  https://www.ietf.org/mailman/listinfo/sipping
> This list is for NEW development of the application of SIP
> Use sip-implementors at cs.columbia.edu for questions on current sip
> Use sip at ietf.org for new developments of core SIP
_______________________________________________
Sip mailing list  https://www.ietf.org/mailman/listinfo/sip
This list is for NEW development of the core SIP Protocol
Use sip-implementors at cs.columbia.edu for questions on current sip
Use sipping at ietf.org for new developments on the application of sip