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

by O Lichtenstein, A Pnueli
Venue:In Proceedings of ïiveifih ACIM Syniposiunr on Principles of Prograrrrnling Larrgriages