Towards dataflow analysis of communicating finite state machines

On Communicating Finite-State Machines

Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text

Engineering, Computer Engineering, Computer Science +13

Derivatives of Regular Expressions

Janusz Brzozowski · Journal of the ACM · 1964 · 931 citations · Full text

Computing, Electrical Engineering, Derivatives +5

Flow analysis and optimization of LISP-like structures

Neil D. Jones, Steven S. Muchnick · 1979 · 308 citations

Computing, Computer Science, Compilers +15

A general-purpose algorithm for analyzing concurrent programs

Richard N. Taylor · Communications of the ACM · 1983 · 307 citations

Computing, Computer Science, Algorithms +15

Semantic foundations of program analysis

Patrick Cousot · 1981 · 206 citations

Computing, Computer Engineering, Computer Science +14