Publication
Computer Networks
Paper
An improved protocol validation technique
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.