Analytic performance analysis of the DQDB access protocol.

Published in: SAC (1992)

Keyphrases

coloured petri nets
lightweight
data management
access control
random access
data dissemination
data sets
formal analysis
network protocols