A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction

<table class="algorithm-group"><tr><td><table class="algorithm" id="figbox2"><tr><td colspan="2"><b>VARIABLES</b></td></tr><tr><td colspan="2"> cl_sent</td></tr><tr><td colspan="2"> sr_got,</td></tr><tr><td colspan="2"> sr_sent</td></tr><tr><td colspan="2"> cl_got</td></tr></table></td></tr></table>

Journal of Computer Networks and Communications

figbox2

Box 2

Box 2: A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction 