Verifying network protocols using temporal logic (1980)

by B Hailpern, S Owicki
Venue:In Proc. NBS/IEEE Symposium on Trends and Applications 1980: Computer Network Protocols