DMCA

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

Cached

Download Links

by Orna Lichtenstein , Amir Pnueli
Venue:In POPL ’85: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Citations:259 - 6 self