SRC Research Report 8

On Interprocess Communication.

Leslie Lamport.

A formalism, not based upon atomic actions, for specifying and reasoning about concurrent systems is defined. It is used to specify several classes of interprocess communication mechanisms and to prove the correctness of algorithms for implementing them.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 145 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 114 Kbytes
  
• PostScript compressed with ZIP -- 114 Kbytes
  
• PostScript -- 376 Kbytes
  
• Portable Document Format (PDF) -- 384 Kbytes