The Bounded Retransmission Protocol Must Be on Time!

Pedro R. D'Argenio Joost-Pieter Katoen Theo C. Ruys Jan Tretmans

Published in: TACAS (1997)

Keyphrases

lightweight
formal analysis
authentication protocol
cryptographic protocols
network protocols
coloured petri nets
real time
tcp ip
neural network
database systems
computational complexity
wireless sensor networks
compressed video
communication protocol
file transfer