The concurrent assignment representation of synchronous systems

Sorting networks and their applications

Kenneth E. Batcher · 1968 · 2.4K citations

Computing, Computer Science, Computer Systems +17

Why systolic architectures?

Kung · Computer · 1982 · 2.3K citations

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

Ten Years of Hoare's Logic: A Survey—Part I

Krzysztof R. Apt · ACM Transactions on Programming Languages and Systems · 1981 · 514 citations · Full text

Computing, Computer Science, Knowledge Representation +5

Specification techniques for data abstractions

Barbara Liskov, Stephen N. Zilles · ACM SIGPLAN Notices · 1975 · 365 citations · Full text

Computing, Computer Science, Formal Methods +15