Re: [Sip] [Sipping] INVITE dialogs

["Saverio Niccolini" <Saverio.Niccolini at nw.neclab.eu>]

> 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
_______________________________________________
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