Mechanisms for a Reliable Timer-Based Protocol.

John G. Fletcher Richard W. Watson

Published in: Comput. Networks (1978)

Keyphrases

lightweight
formal analysis
cost effective
coloured petri nets
real time
communication protocol
network protocols
message delivery
data sets
search engine
smart card
communication systems
elliptic curve
tcp ip
cryptographic protocols