[Sip] INVITE dialogs

[Pamela Zave <pamelazave at gmail.com>]

At the suggestion of Paul Kyzivat and Dale Worley, I compared

draft-ietf-sipping-race-examples-06.txt

to the basic Spin model of INVITE dialogs at

http://www.research.att.com/~pamela/sip.html.

Of the 13 race conditions in the sipping draft, 6 of them are out of  
the scope of the Spin model.  Most commonly, this is because they  
include retransmission of a lost message.  There are no transmission  
failures in the Spin model.

Of the remaining 7, all of them are in the Spin model, handled the  
same way.

In addition, the Spin model shows 42 additional race conditions.   
This count is subject to a lot of interpretation, so I estimate a  
possible error of about 20%.

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