> 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 [EMAIL PROTECTED] for questions on current sip Use [EMAIL PROTECTED] for new developments on the application of sip
