Re: [Sip] INVITE dialogs
"Saverio Niccolini" <[email protected]>
| Newsgroups | gmane.ietf.sipping,gmane.ietf.sip |
|---|---|
| Message-ID | <[email protected]> |
> 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 [email protected] for questions on current sip Use [email protected] for new developments of core SIP