Protocol Verification via Projections

Simon S. Lam, A. Udaya Shankar. Protocol Verification via Projections. IEEE Trans. Software Eng., 10(4):325-342, 1984.

Abstract

Abstract is missing.