Deciding Bisimulation Equivalences for a Class of Non-Finite-State Programs

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

An Automata-Theoretic Approach to Automatic Program Verification

Moshe Y. Vardi, Pierre Wolper · ORBi (University of Liège) · 1986 · 1.3K citations · Full text

Computing, Computer Engineering, Computer Science +14

Three Partition Refinement Algorithms

Robert Paige, Robert E. Tarjan · SIAM Journal on Computing · 1987 · 1.2K citations

Computing, Computer Science, Mathematics +13

Testing equivalences for processes

Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.2K citations

Engineering, Systems Engineering, Stochastic Processes +4

Calculi for synchrony and asynchrony

Robin Milner · Theoretical Computer Science · 1983 · 898 citations · Full text

Computing, Computer Science, Formal Methods +6