Verification of a class of link-level protocols |
| |
| Authors: | Stein Krogdahl |
| |
| Institution: | (1) Institute of Mathematical and Physical Sciences, University of Tromsø, Tromsø, Norway |
| |
| Abstract: | This paper describes a model of a link-level communication line, and defines a set of operations meant to form the basis of data transfer protocols. Some problems concerning verification of protocols are discussed, and it is shown that all protocols using the given operations as a basis are partially correct. Conditions are given for total correctness. |
| |
| Keywords: | Data transfer protocols protocol definition protocol verification |
| 本文献已被 SpringerLink 等数据库收录！ |
