Re: [Sip] INVITE dialogs

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