Re: [Sip] INVITE dialogs

[Dale.Worley at comcast.net]

   From: Paul Kyzivat <pkyzivat at cisco.com>

   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 sip-implementors at cs.columbia.edu for questions on current sip
Use sipping at ietf.org for new developments on the application of sip