Compiling communicating processes into delay-insensitive VLSI circuits

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1978 · 3.5K citations · Full text

Computing, Computer Science, Computer Architecture +16

The Design of a Self-timed Circuit for Distributed Mutual Exclusion

Alain J. Martin · CaltechAUTHORS (California Institute of Technology) · 1983 · 83 citations · Full text

Computing, Computer Engineering, Computer Science +9

The probe: An addition to communication primitives

Alain J. Martin · Information Processing Letters · 1985 · 58 citations

Computing, Computer Science, Computer Systems +8

Distributed mutual exclusion on a ring of processes

Alain J. Martin · Science of Computer Programming · 1985 · 53 citations

Computing, Computer Science, Computer Systems +11