From: Paul Kyzivat <[EMAIL PROTECTED]> I then looked at your notes. I found it very interesting that through formal means you have identified a number of race conditions. I gather you are not aware of:
http://www.ietf.org/internet-drafts/draft-ietf-sipping-race-examples-06.txt That document has been done without benefit of formal models. But it appears that there is substantial agreement about the set of race conditions. (I wish you had been around when we did that work.) That document is largely done, so it is likely impractical to get your input into it. But take a look. It has resolutions to most of the races. If you find any errors, please speak up. 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. Dale _______________________________________________ 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
