> 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@xxxxxxxxxxxxxxx for questions on current sip Use sip@xxxxxxxx for new developments of core SIP
