KY Chan, G Bochmann - … SDL Forum, Stuttgart, Germany, July 1 …, 2003 - books.google.com
This paper describes the formal approach to modeling IETF Session Initiation Protocol (SIP)
and its services in SDL. The main objective is to discover the advantages and shortcomings …