SRC Research Report 118

Conjoining Specifications

Martin Abadi, Leslie Lamport

We show how to specify components of concurrent systems. The specification of a system is the conjunction of its components' specifications. Properties of the system are proved by reasoning about its components. We consider both the decomposition of a given system into parts, and the composition of given parts to form a system.

Back to the SRC Research Reports main page.

• PostScript compressed with UNIX compress -- 184 Kbytes
  
• PostScript compressed with GNU compress (gzip) -- 144 Kbytes
  
• PostScript compressed with ZIP -- 144 Kbytes
  
• PostScript -- 480 Kbytes
  
• Portable Document Format (PDF) -- 448 Kbytes