Protocol veri�cation via projections (1984)

by �LS84a� Simon S Lam, A Udaya Shankar
Venue:IEEE Transactions on Software Engineering