An Asynchronous Communication Model for Distributed Concurrent Objects

Guarded commands, nondeterminacy and formal derivation of programs

Edsger W. Dijkstra · Communications of the ACM · 1975 · 1.9K citations · Full text

Computing, Computer Science, Algorithms +14

Monitors

C. A. R. Hoare · Communications of the ACM · 1974 · 1.5K citations · Full text

Computing, Computer Science, Computer Systems +17

Linda in context

Nicholas Carriero, David Gelernter · Communications of the ACM · 1989 · 1.4K citations · Full text

Business, Performance Management, Decision Analysis +4

Conditional rewriting logic as a unified model of concurrency

José Meseguer · Theoretical Computer Science · 1992 · 1.3K citations

Computing, Computer Science, Computer Systems +9

A behavioral notion of subtyping

Barbara Liskov, Jeannette M. Wing · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

Computing, Computer Science, Formal Methods +14