Journals
Publish with us
Publishing partnerships
About us
Blog
Journal of Computer Networks and Communications
Journal overview
For authors
For reviewers
For editors
Table of Contents
Special Issues
Journal of Computer Networks and Communications
/
2014
/
Article
/
Figbox 4
/
Research Article
A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction
Box 4
CONSTANTS
Ready
Calling
Proceeding
Accepted
Completed
Confirmed
Terminated
INVITE
ACK
r2xx
r3xx_r699
r1xx