Speci cation and veri cation of concurrent programs by 8-automata (1987)

by Zohar Manna, Amir Pnueli
Venue:In Proceedings of the Four Symposium on the Principles of Programming Languages