ACTLW – An action-based computation tree logic with unless operator

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Symbolic model checking: 1020 States and beyond

Jerry R. Burch, E. M. Clarke, Kenneth L. McMillan et al. · Information and Computation · 1992 · 2.7K citations

Engineering, Automated Reasoning, Verification +8

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

Declarative Programming, Observation Congruence Class, Engineering +14

Temporal and Modal Logic.

E. Allen Emerson · 1990 · 823 citations

Principles of concurrent and distributed programming

Choice Reviews Online · 1991 · 369 citations

Concurrent Programming Abstraction, Engineering, Distributed Programming +13