Checking that nite-state concurrent programs satisfy their linear speci cation (1985)

by O Lichtenstein, A Pnueli
Venue:In Proceedings of the 12th Annual Symposium on Principles of Programming Languages