Local model checking in the modal mu-calculus

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Results on the propositional μ-calculus

Dexter Kozen · Theoretical Computer Science · 1983 · 1.8K citations

Humanities, Mathematics, Logic +4

Algebraic laws for nondeterminism and concurrency

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

Computing, Computer Science, Computer Systems +15

The concurrency workbench

Rance Cleaveland, Joachim Parrow, Bernhard Steffen · ACM Transactions on Programming Languages and Systems · 1993 · 555 citations · Full text

Computing, Computer Science, Computer Systems +17

EFFICIENT MODEL CHECKING IN FRAGMENTS OF THE PROPOSITIONAL MU-CALCULUS.

E. Allen Emerson, Chin Laung Lei · Logic in Computer Science · 1986 · 433 citations

Computing, Computer Science, Formal Methods +10