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

by O Lichtenstein, A Pnueli
Venue:In 12 th Annual ACM Sym. On Principles of Programming Languages