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

<table class="algorithm-group"><tr><td><table class="algorithm" id="figbox1"><tr><td colspan="2"><b>SETS</b></td></tr><tr><td colspan="2"> REQUESTS</td></tr><tr><td colspan="2"> RESPONSES</td></tr></table></td></tr></table>

Journal of Computer Networks and Communications

figbox1

Box 1

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