Checking that finite state concurrent programs satisfy their linear specification (1985)

by O Lichtenstein, A Pnueli
Venue:In POPL’85 - 12th Annual ACM Symposium on Principles of Programming Languages