A Coloured Petri Net Approach to Formalising and Analysing the Resource Reservation Protocol
The goal of the Resource Reservation Protocol (RSVP) is to support the provision of the Quality of Service required for emerging Internet applications (such as video conferencing) that require a level of performance not guaranteed by the Internet. RSVP attempts to provide performance guarante...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
Centro Latinoamericano de Estudios en Informática
2003-12-01
|
Series: | CLEI Electronic Journal |
Subjects: | |
Online Access: | http://clei.org/cleiej-beta/index.php/cleiej/article/view/352 |