Dynamic route selection algorithms for session based communication networksKiyoshi MaruyamaDavid Shorter1983SIGCOMM 1983
A methodology for verifying request processing protocolsChristos N. NikolaouNissim Francezet al.1983SIGCOMM 1983