On the collective sort problem for distributed tuple spaces

A Mathematical Theory of Communication

Claude E. Shannon · Bell System Technical Journal · 1948 · 80.7K citations

Engineering, Communication, Electrical Engineering +11

Optimization by Simulated Annealing

Scott Kirkpatrick, C. D. Gelatt, M.P. Vecchi · Science · 1983 · 44.6K citations

Natural Sciences, Mathematics, Algorithms +10

Constructing Induction Rules for Deductive Synthesis Proofs

Alan Bundy, Lucas Dixon, Jeremy Gow et al. · Electronic Notes in Theoretical Computer Science · 2006 · 2.8K citations · Full text

Computing, Computer Science, Formal Methods +16

Generative communication in Linda

David Gelernter · ACM Transactions on Programming Languages and Systems · 1985 · 2.3K citations · Full text

Computing, Communication, Computer Science +14

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6