A timer-based connection management protocol with synchronized clocks and its verification (Q4272446)
From MaRDI portal
scientific article; zbMATH DE number 469085
Language | Label | Description | Also known as |
---|---|---|---|
English | A timer-based connection management protocol with synchronized clocks and its verification |
scientific article; zbMATH DE number 469085 |
Statements
A timer-based connection management protocol with synchronized clocks and its verification (English)
0 references
9 February 1994
0 references
connection management
0 references
synchronized clocks
0 references
lifetime enforcement
0 references
protocol
0 references