Ernst Biersack, David C. Feldmeier. A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification. Computer Networks, 25(12):1303-1319, 1993.
@article{BiersackF93,
title = {A Timer-Based Connection Management Protocol with Synchronized Clocks and its Verification},
author = {Ernst Biersack and David C. Feldmeier},
year = {1993},
tags = {rule-based, synchronization, protocol, C++},
researchr = {https://researchr.org/publication/BiersackF93},
cites = {0},
citedby = {0},
journal = {Computer Networks},
volume = {25},
number = {12},
pages = {1303-1319},
}