Well-abstracted transition systems: application to FIFO automata

Abstract interpretation

Patrick Cousot, Radhia Cousot · 1977 · 6.2K citations

Computing, Computer Science, Compilers +8

Encyclopedia of Mathematics and its Applications.

Y. L. L., William B. Jones, W. J. Thron · Mathematics of Computation · 1982 · 4.2K citations

Natural Sciences, Mathematics, Applied Mathematics +9

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

Computing, Computer Engineering, Computer Science +12

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

Parallel program schemata

Richard M. Karp, Raymond E. Miller · Journal of Computer and System Sciences · 1969 · 984 citations