A new approach to performance evaluation of formally specified protocols.

Stefan Böhmer Ralf Klafka

Published in: FORTE (1994)

Keyphrases

multi party
communication protocols
communication protocol
key distribution
higher throughput
database
data sets
data mining
search algorithm
application level