Model Checking Guarded Protocols.

E. Allen Emerson, Vineet Kahlon

Browse the full LICS paper archive.