Statecharts: a visual formalism for complex systems

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

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