Publication
Computer Networks
Paper

An improved protocol validation technique

View publication

Abstract

It is shown that communication between asynchronous processes can be expressed as sequences of nondecomposable, basic interaction which in the general case involve multiple message exchanges. Consideration of the form of these interactions leads to an understanding of the limitations of protocol-validation techniques and improves their efficiency. © 1982.

Date

Publication

Computer Networks

Authors

Share