Protocol Veri cation via Projections (1984)

by S S Lam, A U Shankar
Venue:IEEE Trans. on Software Engineering